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