Maxime Dénès
Results
2
repositories owned by
Maxime Dénès
native-coq
62
Stars
14
Forks
Watchers
Coq with native compilation, as well as machine integers and arrays !