GitHub repository: mbkybky/FaithfullyFlat
Primary language: TeX
Description: Formalizing faithfully flat module in LEAN