document/TranslateProject
2
0
Fork 0
mirror of https://github.com/LCTT/TranslateProject.git synced 2024-12-26 21:30:55 +08:00
Code Issues Packages Projects Releases Wiki Activity
77,575 Commits 3 Branches 6 Tags 179 MiB
4ab998fe36
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