Categories

No post found in this category.

• • Chun Ding
  • 1 Jun 2025
    • created 1 Jun 2025 23:58
    • updated 2 Jun 2025 10:52

  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

  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

  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

  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

  Section 3 Solutions – Theorem Proving in Lean 4

• • Chun Ding
  • 9 Aug 2025
    • created 9 Aug 2025 01:55
    • updated 11 Aug 2025 00:23

  Second anniversary of Functor Network 🎉

• • Chun Ding
  • 2 Jun 2025
    • created 2 Jun 2025 11:28
    • updated 29 Jul 2025 01:33

  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

  Functor Network turns one year old!

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

  Inaugural release of Functor Network