PatrickMassot / GlimpseOfLeanLinks

An introduction to theorem proving in Lean for the impatient.
235Updated last week

Alternatives and similar repositories for GlimpseOfLean

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

Sorting: