Similar repositories to jtassarotti/polaris:
jtassarotti/polaris
github
similar
danistefanovic/build-your-own-x
github
similar
Lysxia/coq-recursion-schemes
github
similar
yforster/coqtheorem
github
similar
hecrj/iced
github
similar
tuvtran/project-based-learning
github
similar
tuura/build-systems-in-coq
github
similar
samuelgruetter/counterexamples
github
similar
artart78/coq-bitset
github
similar
Eelis/hybrid
github
similar
gstew5/cage
github
similar
letouzey/coq-mmaps
github
similar
coq-community/reduction-effects
github
similar
Matafou/LibHyps
github
similar
proofengineering/coq-ast
github
similar
tabareau/Cocasse
github
similar
roglo/coq_real
github
similar
dunnl/tealeaves
github
similar
coq-community/regexp-Brzozowski
github
similar
thery/PolTac
github
similar
DmxLarchey/ite-normalisation
github
similar
michaelsproul/dblib-linear
github
similar
coq-community/aac-tactics
github
similar
eddywestbrook/predicate-monads
github
similar
chasenorman/Formalized-Voting
github
similar
coq-community/docker-coq
github
similar
drouhling/LaSalle
github
similar
katamaran-project/katamaran
github
similar
tchajed/coq-ltac2-experiments
github
similar
raaz-crypto/verse-coq
github
similar
strub/elliptic-curves-ssr
github
similar
letouzey/coq-minicalc
github
similar
Coq-Polyhedra/Coq-Polyhedra
github
similar
fetburner/coq-dijkstra
github
similar
uds-psl/MPCTT
github
similar
jtristan/stump-learnable
github
similar
UCSD-PL/veridrone
github
similar
palmskog/coq-program-verification-template
github
similar
fblanqui/color
github
similar
jashug/FormalizedCompilerAlgorithms
github
similar