Similar repositories to combinators/cls-coq:

• danistefanovic/build-your-own-x github similar
• combinators/cls-coq github similar
• DmxLarchey/The-Braga-Method github similar
• coq-contribs/quicksort-complexity github similar
• kendroe/CoqRewriter github similar
• lukaszcz/coinduction github similar
• vyorkin/okasaki-ocaml github similar
• picnic/RelationExtraction github similar
• arthuraa/cryptis github similar
• coq-community/templates github similar
• minkiminki/Ordinal github similar
• combinators/cls-scala github similar
• olaure01/yalla github similar
• groupoid/agda github similar
• coq-community/docker-coq-action github similar
• CoqHott/exceptional-tt github similar
• tlringer/thesis github similar
• coq-community/lemma-overloading github similar
• matthesjh/coq-tal github similar
• owo-lang/Mini-TT github similar
• lastland/ClairvoyanceMonad github similar
• JoeyEremondi/lambda-pi-constraint github similar
• leuschel/logen github similar
• coq-community/bits github similar
• L-TChen/ModalTypeTheory github similar
• coq/bignums github similar
• ankitku/TAL0 github similar
• dboulytchev/miniKanren-coq github similar
• coq-community/atbr github similar
• tchajed/ltac2-tutorial github similar
• c-cube/smbc github similar
• bobatkey/system-f-parametricity-model github similar
• arthuraa/deriving github similar
• ybertot/plugin_tutorials github similar
• kth-step/HolBA github similar
• soren-n/bidi-higher-rank-poly github similar
• coq-tactician/coq-tactician github similar
• Lysxia/coq-simple-io github similar
• RobertHarper/hott-notes github similar
• arthuraa/extructures github similar