repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
coq-community/topology | CoqMakefile | 44 | 0 | 10 | 0 |
PrincetonUniversity/VST | CoqCOCaml | 398 | 0 | 87 | 0 |
UniMath/UniMath | CoqEmacs LispMakefile | 865 | 0 | 163 | 0 |
uwplse/verdi | CoqOther | 561 | 0 | 56 | 0 |
imdea-software/fcsl-pcm | CoqMakefile | 22 | 0 | 10 | 0 |