Similar repositories to proofcert/fpc-elpi:
proofcert/fpc-elpi
github
similar
amahboubi/lia4mathcomp
github
similar
qnighy/IPC-Coq
github
similar
dwarfmaster/commutative-diagrams
github
similar
voodoos/mlts
github
similar
Lysxia/system-F
github
similar
Coq-Polyhedra/Coq-Polyhedra
github
similar
pleiad/Refinements
github
similar
mb64/simple-lambda-prolog
github
similar
coq-community/apery
github
similar
imdea-software/fcsl-pcm
github
similar
smtcoq/sniper
github
similar
xavierleroy/cdf-program-logics
github
similar
coq-community/reglang
github
similar
jaycech3n/Isabelle-HoTT
github
similar
akr/codegen
github
similar
damien-pous/relation-algebra
github
similar
coq-community/topology
github
similar
slasser/vermillion
github
similar
coq-community/paramcoq
github
similar
math-comp/finmap
github
similar
jsiek/B522-PL-Foundations
github
similar
fredefox/cat
github
similar
LPCIC/coq-elpi
github
similar
CoqEAL/CoqEAL
github
similar
awodey/CatLogNotes
github
similar
affeldt-aist/monae
github
similar
math-comp/hierarchy-builder
github
similar
metaocaml/metaocaml-bibliography
github
similar
conal/denotational-hardware
github
similar
smtcoq/smtcoq
github
similar
uds-psl/coq-library-undecidability
github
similar
TheoWinterhalter/formal-type-theory
github
similar
LPCIC/elpi
github
similar
jozefg/nbe-for-mltt
github
similar
HoTT-Intro/Agda
github
similar
TyGuS/suslik
github
similar
jozefg/blott
github
similar
jozefg/pcf
github
similar
martinescardo/TypeTopology
github
similar