Contributor
@PatrickMassot
repos
3
ecosystems
2
languages
commits
69
The user home repository for the Mathematics in Lean tutorial.
An introduction to theorem proving in Lean for the impatient.
Work in progress mathlib port for lean 4
Subscriber view
Already a subscriber? Sign in with the same email used at checkout.
