PatrickMassot / GlimpseOfLeanLinks

An introduction to theorem proving in Lean for the impatient.
205Updated last month

Alternatives and similar repositories for GlimpseOfLean

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

Sorting: