GitHub repository: mpenciak/flatstuff
Primary language: Lean
Created: 2022-02-23T15:39:56Z
Description: Prove some stuff about flat modules in Lean