forked from leanprover-community/mathematics_in_lean
-
Notifications
You must be signed in to change notification settings - Fork 9
Insights: Lean-zh/math-in-lean-zh
Overview
-
0 Active issues
-
- 2 Merged pull requests
- 0 Open pull requests
- 0 Closed issues
- 0 New issues
Loading
Could not load contribution data
Please try again later
Loading
2 Pull requests merged by 1 person
-
changed .gitignore and cache
#35 merged
Aug 4, 2025 -
翻译了README、5.4
#34 merged
Aug 4, 2025