Contributor
@EdAyers
repos
2
ecosystems
1
languages
commits
16
Lean 4 programming language and theorem prover
Work in progress mathlib port for lean 4
Subscriber view
Already a subscriber? Sign in with the same email used at checkout.