/lean-scratchpad

Experimentation with the Lean prover

Primary LanguageLean

Watchers

No one’s watching this repository yet.