β
Vibe proving
Assistant Prof π Programming Languages and Verification
π Rocq, Haskell
-
National Technical University of Athens
- Athens, Greece
- http://zoep.github.io
Highlights
- Pro
Stars
3
stars
written in HTML
Clear filter
A listing of compiler, language and runtime teams for people looking for jobs in this area
joke page until I decide what to do with this domain name