Sebastian Ullrich@Kha 
lean top 10 theorem-proving top 100 dependent-types top 100

Expertise

Global rank

# 82,814

Location

Karlsruhe, Germany
Languages
lean
declara...
nix
python3
Perl
OCaml
Rust
c-plus-...
Products
Shell
Topics
theorem...
depende...
x11-wm
xcb
i3-gaps
i3lock
xorg
chatops
i3
x11

Help us improve

If you found missing or incorrect information, or would like to request the removal of this profile, please contact [email protected]

We use cookies. If you continue to browse the site, you agree to the use of cookies. For more information on our use of cookies please see our Privacy Policy.