Similar repositories to math-comp/Abel:
math-comp/Abel
github
similar
danistefanovic/build-your-own-x
github
similar
smtcoq/sniper
github
similar
bedrocksystems/cpp2v
github
similar
math-comp/mczify
github
similar
math-comp/algebra-tactics
github
similar
groupoid/anders
github
similar
math-comp/multinomials
github
similar
xavierleroy/canonical-binary-tries
github
similar
mit-plv/rupicola
github
similar
thery/lemonde
github
similar
tlringer/ml-for-proofs
github
similar
michaelgutmann/ml-pen-and-paper-exercises
github
similar
math-comp/real-closed
github
similar
imdea-software/fcsl-pcm
github
similar
damien-pous/relation-algebra
github
similar
coq-community/atbr
github
similar
SoftwareFoundationGroupAtKyotoU/VeriCUDA
github
similar
dwarfmaster/commutative-diagrams
github
similar
CoqHott/exceptional-tt
github
similar
letouzey/coq-mmaps
github
similar
xavierleroy/cdf-program-logics
github
similar
CoqHott/coq-forcing
github
similar
Yosuke-Ito-345/Actuary
github
similar
coq-community/apery
github
similar
ivanbakel/coq-antivalence
github
similar
arthuraa/cryptis
github
similar
coq-community/coqoban
github
similar
appliedfm/vstyle-tools
github
similar
math-comp/finmap
github
similar
LPCIC/coq-elpi
github
similar
coq/stdlib2
github
similar
math-comp/apery
github
similar
runtimeverification/casper-cbc-proofs
github
similar
patricoferris/ocaml-variorum
github
similar
tootsuite/mastodon
github
similar
hecrj/iced
github
similar
team-video/aviary.sh
github
similar
AxiomCrisis/proofs
github
similar
elpinal/mixml-sml
github
similar