Viktor Vafeiadis

icon indicating a website link http://www.mpi-sws.org/~viktor

icon company @MPI-SWS

Results 1 repositories owned by Viktor Vafeiadis

hahn

29
Stars
15
Forks
Watchers

Hahn: A Coq library

verified publisher icon vafeiadis