PatrickMassot / GlimpseOfLean

An introduction to theorem proving in Lean for the impatient.
106Updated this week

Related projects

Alternatives and complementary repositories for GlimpseOfLean