/LeanExamples

a collection of little explorations into different Lean features... mostly used for testing and debugging.

Primary LanguageLeanMIT LicenseMIT

No issues in this repository yet.