document/TranslateProject
2
0
Fork 0
mirror of https://github.com/LCTT/TranslateProject.git synced 2025-01-10 22:21:11 +08:00
Code Issues Packages Projects Releases Wiki Activity
2f13db9861
TranslateProject/sources
History
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
..
news ATRP 2023-11-18 11:39:39 +08:00
talk ATRP 2023-11-19 21:34:13 +08:00
tech 选题[tech]: 20231009 Coq and Lean: Powerful Interactive Theorem Provers 2023-11-20 14:24:40 +08:00
README.md

README.md

这里放待翻译的文件。