rocq-community/coq-100-theorems

Statements of famous theorems proven in Coq [maintainer=@jmadiot]

语言：HTML · GitHub 星标：62 · Fork：15

话题：coq · theorems

在 GitHub 上查看原仓库