naufalauddin/GlimpseOfLean
An introduction to theorem proving in Lean for the impatient.
LeanApache-2.0
Stargazers
No one’s star this repository yet.
An introduction to theorem proving in Lean for the impatient.
LeanApache-2.0
No one’s star this repository yet.