Similar repositories to cs6213/tlaplus-examples:
cs6213/tlaplus-examples
github
similar
tootsuite/mastodon
github
similar
danistefanovic/build-your-own-x
github
similar
Lysxia/coq-recursion-schemes
github
similar
volodeyka/coqspec
github
similar
anshumanmohan/CertiGraph-VST
github
similar
clayrat/exp-subs
github
similar
coq-community/generic-environments
github
similar
whitequark/Sublime-Coq
github
similar
aman-goel/ivybench
github
similar
roglo/coq_real
github
similar
madgen/refinement-types-seminar
github
similar
uds-psl/churchs-thesis-coq
github
similar
ivanbakel/coq-antivalence
github
similar
vyorkin/haskbot
github
similar
eddywestbrook/predicate-monads
github
similar
fizruk/lambda-mu-mu-calculus
github
similar
minkiminki/Ordinal
github
similar
coq-community/gaia
github
similar
bramvdbogaerde/z3-wasm
github
similar
novifinancial/LibraChain
github
similar
kandersen/dpc
github
similar
raaz-crypto/verse-coq
github
similar
letouzey/coq-minicalc
github
similar
tlaplus/rfcs
github
similar
yforster/coqtheorem
github
similar
EasyCrypt/certicrypt
github
similar
imdea-software/homomorphic-authentication-library
github
similar
arthuraa/coq-utils
github
similar
rbardou/clap
github
similar
tlringer/thesis
github
similar
SoftwareFoundationGroupAtKyotoU/VeriCUDA
github
similar
Lysxia/coq-ceres
github
similar
clarus/coq-of-js
github
similar
palmskog/coq-program-verification-template
github
similar
matthesjh/coq-tal
github
similar
Matafou/LibHyps
github
similar
owo-lang/Mini-TT
github
similar
SimonBoulier/TypingFlags
github
similar
JoeyEremondi/lambda-pi-constraint
github
similar