lean top 10 theorem-proving top 100 dependent-types top 100 
Expertise
Global rank
# 65,174Location
Amstelveen, HollandLanguages
lean
nix
PureScr...
Common ...
D
Erlang
Haskell
Perl
Rust
Products
travis-...
sed
Elixir
GitHub
Topics
theorem...
depende...
nixpkgs
cura
octopri...
appveyo...
3d-prin...
Continu...
Help us improve
If you found missing or incorrect information, or would like to request the removal of this profile, please contact [email protected]