/18.705-coq

Some partial work on formalizing concepts from MIT's 18.705 - Commutative Algebra, in Coq

Primary LanguageCoq

No issues in this repository yet.