Chun Ding
  • Posts
  • Categories
  • Login
  • home

Categories

  • Theorem Proving in Lean 4

    • Follow
    Cancel
      • Chun Ding
      • 1 Jun 2025
        • created 1 Jun 2025 23:58
        • updated 2 Jun 2025 10:52
      • 1 category
        • Theorem Proving in Lean 4

      Section 8 Solutions – Theorem Proving in Lean 4

      • Chun Ding
      • 30 May 2025
        • created 30 May 2025 14:12
        • updated 2 Jun 2025 18:38
      • 1 category
        • Theorem Proving in Lean 4

      Section 7 Solutions – Theorem Proving in Lean 4

      • Chun Ding
      • 23 May 2025
        • created 23 May 2025 08:00
        • updated 2 Jun 2025 10:53
      • 1 category
        • Theorem Proving in Lean 4

      Section 5 Solutions – Theorem Proving in Lean 4

      • Chun Ding
      • 20 May 2025
        • created 20 May 2025 22:59
        • updated 2 Jun 2025 10:54
      • 1 category
        • Theorem Proving in Lean 4

      Section 4 Solutions – Theorem Proving in Lean 4

      • Chun Ding
      • 20 May 2025
        • created 20 May 2025 07:10
        • updated 2 Jun 2025 10:54
      • 1 category
        • Theorem Proving in Lean 4

      Section 3 Solutions – Theorem Proving in Lean 4

  • Functor Network

    • Follow
    Cancel
      • Chun Ding
      • 2 Jun 2025
        • created 2 Jun 2025 11:28
        • updated 4 Jun 2025 00:58
      • 1 category
        • Functor Network

      New Feature: Lean Language Syntax Highlighting Is Now Supported!

      • Chun Ding
      • 8 Aug 2024
        • created 8 Aug 2024 13:32
        • updated 27 Dec 2024 13:31
      • 1 category
        • Functor Network

      Functor Network turns one year old!

      • Chun Ding
      • 10 Sep 2023
        • created 10 Sep 2023 21:30
        • updated 8 Feb 2024 03:36
      • 1 category
        • Functor Network

      Inaugural release of Functor Network

Follow

  • Network
  • Privacy
  • Feedback