Similar repositories to volodeyka/coqspec:
danistefanovic/build-your-own-x
github
similar
Lysxia/coq-recursion-schemes
github
similar
volodeyka/coqspec
github
similar
clayrat/exp-subs
github
similar
coq-community/generic-environments
github
similar
whitequark/Sublime-Coq
github
similar
roglo/coq_real
github
similar
madgen/refinement-types-seminar
github
similar
uds-psl/churchs-thesis-coq
github
similar
cs6213/tlaplus-examples
github
similar
ivanbakel/coq-antivalence
github
similar
vyorkin/haskbot
github
similar
eddywestbrook/predicate-monads
github
similar
Event-Structures/event-struct
github
similar
fizruk/lambda-mu-mu-calculus
github
similar
bramvdbogaerde/z3-wasm
github
similar
volodeyka/trust-coq
github
similar
raaz-crypto/verse-coq
github
similar
letouzey/coq-minicalc
github
similar
tlaplus/rfcs
github
similar
yforster/coqtheorem
github
similar
tlringer/thesis
github
similar
Lysxia/coq-ceres
github
similar
Matafou/LibHyps
github
similar
clarus/coq-of-js
github
similar
matthesjh/coq-tal
github
similar
owo-lang/Mini-TT
github
similar
SimonBoulier/TypingFlags
github
similar
JoeyEremondi/lambda-pi-constraint
github
similar
gallais/thesis
github
similar
leuschel/logen
github
similar
vafeiadis/hahn
github
similar
coq-community/bits
github
similar
gmalecha/coq-printf
github
similar
lpw25/shifted-names
github
similar
hablapps/LensAlgebra
github
similar
mit-plv/rewriter
github
similar
math-comp/mczify
github
similar
thery/hanoi
github
similar
jdevuyst/rekenaar
github
similar