issues
search
PatrickMassot
/
GlimpseOfLean
An introduction to theorem proving in Lean for the impatient.
Apache License 2.0
95
stars
44
forks
source link
Bump Mathlib and Lean
#12
Closed
LorenzoLuccioli
closed
4 days ago