β
Vibe proving
Assistant Prof π Programming Languages and Verification
π Rocq, Haskell
-
National Technical University of Athens
- Athens, Greece
- http://zoep.github.io
Highlights
- Pro
Stars
2
stars
written in Java
Clear filter
πΌοΈ An implementation of Apache Hadoop to count the unique objects in every curatorial department of The Met Collection