/conceptual-mathematics-in-lean

Conceptual Mathematics exercises using Lean theorem prover

Primary LanguageLean

Watchers