rqy2002 / typical-math Goto Github PK
View Code? Open in Web Editor NEWThis project forked from ssghost/typical-math
A general-purpose type theory and proof checker generator.
Home Page: https://zhuanlan.zhihu.com/typical-math
License: GNU General Public License v3.0