/lean-scratchpad

Experimentation with the Lean prover

Primary LanguageLean

No issues in this repository yet.