A philosophical thinking in Lean.
Primary LanguageLeanMIT LicenseMIT
No issues in this repository yet.