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