Similar repositories to coq-community/alea:
coq-community/alea
github
similar
danistefanovic/build-your-own-x
github
similar
tuvtran/project-based-learning
github
similar
imdea-software/fcsl-pcm
github
similar
gogabr/lambekMikulas
github
similar
gstew5/cage
github
similar
fizruk/lambda-mu-mu-calculus
github
similar
coq/ceps
github
similar
coq/opam-coq-archive
github
similar
motemen/gore
github
similar
tootsuite/mastodon
github
similar
JasonGross/slow-coq-examples
github
similar
thery/twoSquare
github
similar
Eugeny/terminus
github
similar
hecrj/iced
github
similar
leanprover-community/vscode-lean4
github
similar
strub/elliptic-curves-ssr
github
similar
volodeyka/trust-coq
github
similar
coq-community/lemma-overloading
github
similar
arthuraa/coq-utils
github
similar
tuura/build-systems-in-coq
github
similar
arthuraa/extructures
github
similar
ipdl/ipdl
github
similar
stop-cran/idris-groups
github
similar
coq-community/hoare-tut
github
similar
MarcelineVQ/idris2-streaming
github
similar
CohenCyril/tarjan
github
similar
volodeyka/coqspec
github
similar
vasil-sd/lalambda2021
github
similar
jgrosso/coq-alpha-pearl
github
similar
lastland/ClairvoyanceMonad
github
similar
cwtsteven/DGoIM-Compiler
github
similar
smtcoq/sniper
github
similar
JoeyEremondi/lambda-pi-constraint
github
similar
coq-community/docker-coq
github
similar
gallais/pearl-binary-search
github
similar
denisrosset/cyclo
github
similar
JasonGross/lob-paper
github
similar
coq-contribs/relation-algebra
github
similar
L-TChen/ModalTypeTheory
github
similar