Chun Ding
Posts
Categories
Login
home
Categories
Theorem Proving in Lean 4
Follow
Save
Delete?
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
Save
Delete?
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
Email
Follow