PatrickMassot / GlimpseOfLeanLinks

An introduction to theorem proving in Lean for the impatient.
198Updated 2 weeks ago

Alternatives and similar repositories for GlimpseOfLean

Users that are interested in GlimpseOfLean are comparing it to the libraries listed below

Sorting: