Similar repositories to ppedrot/ll-coq:
ppedrot/ll-coq
github
similar
ghuysmans/futurama
github
similar
groupoid/anders
github
similar
logsem/free-theorems-sl
github
similar
CertiGraph/CertiGraph
github
similar
julesjacobs/cgraphs
github
similar
uds-psl/autosubst-ocaml
github
similar
minkiminki/Ordinal
github
similar
ghuysmans/algebra
github
similar
tchajed/coq-tactical
github
similar
jdrprod/cqfd
github
similar
logsem/cerise
github
similar
aslanix/SmallStepNI
github
similar
5HT/DependentLinearPi
github
similar
ocurrent/overview
github
similar
kupl/MicSE
github
similar
xavierleroy/canonical-binary-tries
github
similar
appliedfm/vstyle
github
similar
Blaisorblade/dot-iris
github
similar
charguer/tlc
github
similar
Yosuke-Ito-345/Actuary
github
similar
bvaugon/obytelib
github
similar
tezedge/model-p2p
github
similar
OCamlPro/mikino_bin
github
similar
dboulytchev/miniKanren-coq
github
similar
EngineeringSoftware/mcoq
github
similar
coq/bot
github
similar
lexi-lambda/racket-higher-rank
github
similar
coq-community/atbr
github
similar
coq-community/goedel
github
similar
amaurremi/dot-calculus
github
similar
smtcoq/sniper
github
similar
damien-pous/relation-algebra
github
similar
tchajed/coq-record-update
github
similar
xavierleroy/cdf-mech-sem
github
similar
gallais/agda-presburger
github
similar
umazalakain/typing-linear-pi
github
similar
coq-community/aac-tactics
github
similar
coq-community/paramcoq
github
similar
SSProve/ssprove
github
similar