Giters

GwenTinho / Math-Notes-Formalization

A formalization of all my math notes into COQ

Repository from Github https://github.comGwenTinho/Math-Notes-FormalizationRepository from Github https://github.comGwenTinho/Math-Notes-Formalization

Math-Notes-Formalization

A formalization of all my math notes into COQ

About

A formalization of all my math notes into COQ

License:MIT License

Languages

Language:Makefile 77.2%Language:Coq 22.8%