search

PatrickMassot / GlimpseOfLean

An introduction to theorem proving in Lean for the impatient.
Apache License 2.0
95 stars 44 forks source link

Bump Lean and Mathlib #10

Closed pitmonticone closed 2 weeks ago

pitmonticone commented 3 weeks ago

Locally tested.