Robbert Krebbers

Advanced
@robbertkrebbers

Associate professor in Programming Languages. Most of my active git repos can be found at https://gitlab.mpi-sws.org/iris

ch2o. Coq

91

compcert. Fork of http://compcert.inria.fr/

22

math-classes. Coq

6

corn. Verilog

5

fewdigits. Forked from http://r6.ca/FewDigits/

3

moessner. Coq formalization of moessner's theorem using coinduction

1

unmangleProofPointSafelinks. JavaScript

1
7
Apply