GitHub repository: noatmeal/MY_MIL
Primary language: Lean
Created: 2025-04-15T11:25:49Z
Description: My work on https://leanprover-community.github.io/mathematics_in_lean/