Similar repositories to artart78/coq-bitset:
artart78/coq-bitset
github
similar
Lysxia/coq-recursion-schemes
github
similar
proofengineering/coq-ast
github
similar
roglo/coq_real
github
similar
michaelsproul/dblib-linear
github
similar
DmxLarchey/ite-normalisation
github
similar
jtassarotti/polaris
github
similar
tchajed/coq-ltac2-experiments
github
similar
strub/elliptic-curves-ssr
github
similar
raaz-crypto/verse-coq
github
similar
yforster/coqtheorem
github
similar
fetburner/coq-dijkstra
github
similar
letouzey/coq-minicalc
github
similar
jashug/FormalizedCompilerAlgorithms
github
similar
weakmemory/imm
github
similar
Coq-Polyhedra/Coq-Polyhedra
github
similar
SimonBoulier/TypingFlags
github
similar
coq-community/bits
github
similar
input-output-hk/casino
github
similar
coq-community/coqffi
github
similar
math-comp/algebra-tactics
github
similar
ichistmeinname/free-proving
github
similar
palmskog/coq-program-verification-template
github
similar
vafeiadis/hahn
github
similar
fblanqui/color
github
similar
coq-community/aac-tactics
github
similar
clayrat/sequent-calc-talk
github
similar
jaycech3n/Isabelle-HoTT
github
similar
uds-psl/MPCTT
github
similar
damien-pous/relation-algebra
github
similar
oisdk/agda-ring-solver
github
similar
OUPL/MLCert
github
similar
coq/stdlib2
github
similar
SSProve/ssprove
github
similar
foreverbell/verified
github
similar
ocaml-gospel/cameleer
github
similar
uwplse/PUMPKIN-PATCH
github
similar
uwplse/pumpkin-pi
github
similar
jtassarotti/coq-proba
github
similar
adampetcher/fcf
github
similar