Similar repositories to plclub/metalib:
plclub/metalib
github
similar
danistefanovic/build-your-own-x
github
similar
plclub/lngen
github
similar
RobertHarper/hott-notes
github
similar
samuelgruetter/dot-calculus
github
similar
tootsuite/mastodon
github
similar
coq-community/coq-ext-lib
github
similar
coq-community/autosubst
github
similar
plclub/cis670-16fa
github
similar
bobatkey/system-f-parametricity-model
github
similar
sweirich/corespec
github
similar
palmskog/coq-program-verification-template
github
similar
uwplse/pumpkin-pi
github
similar
discus-lang/iron
github
similar
gibiansky/IHaskell
github
similar
tuvtran/project-based-learning
github
similar
coq/ceps
github
similar
tchajed/ltac2-tutorial
github
similar
garrigue/certint
github
similar
affeldt-aist/monae
github
similar
arthuraa/extructures
github
similar
charguer/tlc
github
similar
gallais/parseque
github
similar
gallais/generic-syntax
github
similar
jldodds/coq-lean-cheatsheet
github
similar
david-christiansen/epigram1
github
similar
vrahli/NuprlInCoq
github
similar
coq-community/reglang
github
similar
aspiwack/peppermint-prover
github
similar
dboulytchev/miniKanren-coq
github
similar
LPCIC/coq-elpi
github
similar
andreasabel/strong-normalization
github
similar
math-comp/hierarchy-builder
github
similar
ReactTraining/react-router
github
similar
thery/T2048
github
similar
mattam82/Coq-Equations
github
similar
tchajed/coq-ltac2-experiments
github
similar
coq-community/paramcoq
github
similar
metaborg/linear.agda
github
similar
bobatkey/sott
github
similar