robbertkrebbers/moessner
Coq formalization of moessner's theorem using coinduction
Developer Profile
robbertkrebbers
Discovered public repositories for robbertkrebbers in the GitHub catalog.
robbertkrebbers/compcert
Fork of http://compcert.inria.fr/
robbertkrebbers/ch2o_prototype
Prototype of a C semantics
robbertkrebbers/ch2o
Public repository.
robbertkrebbers/fewdigits
Forked from http://r6.ca/FewDigits/
robbertkrebbers/math-classes
Public repository.
robbertkrebbers/corn
Public repository.