Similar repositories to anton-trunov/coq-lecture-notes:
anton-trunov/coq-lecture-notes
github
similar
danistefanovic/build-your-own-x
github
similar
gibiansky/IHaskell
github
similar
tuvtran/project-based-learning
github
similar
tootsuite/mastodon
github
similar
hecrj/iced
github
similar
llelf/cocoricoogle
github
similar
hablapps/LensAlgebra
github
similar
mit-plv/rewriter
github
similar
fizruk/lambda-mu-mu-calculus
github
similar
Lysxia/system-F
github
similar
clayrat/sequent-calc
github
similar
LightAndLight/parametricity-proofs
github
similar
evdenis/acsl-proved
github
similar
LightAndLight/idris-but-its-c
github
similar
SimonBoulier/TypingFlags
github
similar
damien-pous/relation-algebra
github
similar
xgrommx/coq-ecosystem
github
similar
jonsterling/coq-domains
github
similar
roglo/coq_real
github
similar
CoqHott/coq-forcing
github
similar
philzook58/lens-algebra
github
similar
RobertHarper/hott-notes
github
similar
slasser/vermillion
github
similar
thery/T2048
github
similar
imdea-software/fcsl-pcm
github
similar
jtassarotti/coq-proba
github
similar
bramvdbogaerde/z3-wasm
github
similar
cohomolo-gy/Isomorphic-Reasoning
github
similar
mtt-lang/mtt-lang
github
similar
metaborg/linear.agda
github
similar
twanvl/ttie
github
similar
anton-trunov/csclub-coq-course-spring-2021
github
similar
effectfully/OTT
github
similar
cohomolo-gy/homotopy-type-theory-notes
github
similar
coq-community/lemma-overloading
github
similar
jespercockx/popl19-tutorial
github
similar
ReactTraining/react-router
github
similar
trufflesuite/ganache-cli
github
similar
bedrocksystems/cpp2v
github
similar