Contributor
@tydeu
repos
3
ecosystems
2
languages
1
commits
507
Lean 4 build system and package manager with configuration files written in Lean.
Lean 4 programming language and theorem prover
Subscriber view
Already a subscriber? Sign in with the same email used at checkout.
