document/TranslateProject
2
0
Fork 0
mirror of https://github.com/LCTT/TranslateProject.git synced 2024-12-23 21:20:42 +08:00
Code Issues Packages Projects Releases Wiki Activity
78,148 Commits 3 Branches 6 Tags 179 MiB
master
Commit Graph

1 Commits

Author SHA1 Message Date
DarkSun
2f13db9861 选题[tech]: 20231009 Coq and Lean: Powerful Interactive Theorem Provers 
sources/tech/20231009 Coq and Lean- Powerful Interactive Theorem Provers.md
 2023-11-20 14:24:40 +08:00