Similar repositories to herbelin/coq-hh:

• herbelin/coq-hh github similar
• Eugeny/terminus github similar
• gibiansky/IHaskell github similar
• pdg137/simple-pages github similar
• Macaulay2/Workshop-2018-Leipzig github similar
• mikeshulman/HoTT github similar
• peterlefanulumsdaine/Oberwolfach-explorations github similar
• mikeshulman/cohesivett github similar
• HoTT/coq github similar
• pigworker/CS410-13 github similar
• slindley/dependent-haskell github similar
• dlicata335/cart-cube github similar
• ramonfmir/lean-scheme github similar
• andrejbauer/Homotopy github similar
• leanprover-community/format_lean github similar
• unicoq/unicoq github similar
• osa1/language-lua github similar
• peterlefanulumsdaine/general-type-theories github similar
• molikto/mlang github similar
• math-comp/hierarchy-builder github similar
• mikeshulman/catlog github similar
• JetBrains/arend-lib github similar
• Kivy-CN/Stanford-CS-229-CN github similar
• dlicata335/hott-agda github similar
• valis/hoq github similar
• UniMath/Foundations github similar
• simhu/cubical github similar
• TheoWinterhalter/formal-type-theory github similar
• leanprover-community/lean-perfectoid-spaces github similar
• RubyLouvre/algorithmbook github similar
• UniMath/agda-unimath github similar
• coq/platform github similar
• mattam82/Coq-Equations github similar
• hdbc/hdbc github similar
• martinescardo/HoTT-UF-Agda-Lecture-Notes github similar
• Andromedans/andromeda github similar
• coq-community/math-classes github similar
• mmirman/caledon github similar
• graninas/Hydra github similar
• ditto/ditto github similar