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