β
Vibe proving
Assistant Prof π Programming Languages and Verification
π Rocq, Haskell
-
National Technical University of Athens
- Athens, Greece
- http://zoep.github.io
Highlights
- Pro
Search results
0 open and 0 closed projects found.-
There aren't any projects yet