Experimentation with the Lean prover
Primary LanguageLean
This is a place to put experiments in Lean so that more experienced people can comment on it.