Similar repositories to HoTT-Intro/Coq:

• HoTT-Intro/Coq github similar
• ReactTraining/react-router github similar
• domchristie/turndown github similar
• gibiansky/IHaskell github similar
• tootsuite/mastodon github similar
• ubuntu/microk8s github similar
• jozefg/secret-notes github similar
• 15-317/tutch github similar
• niltok/tesseract-lite github similar
• jashug/WhyNotW github similar
• sea-design/sea-design github similar
• jonsterling/coq-domains github similar
• pi8027/stablesort github similar
• RobertHarper/hott-notes github similar
• ralsei/six-eyes github similar
• msp-strath/platypus github similar
• Chaaaos/formaltt github similar
• fblanqui/color github similar
• HoTT-Intro/Agda github similar
• anuyts/menkar github similar
• bollu/discrete-differential-geometry github similar
• pamellies/lambda-calculus-and-categories github similar
• Dwarfartisan/ruskell github similar
• tchajed/iris-simp-lang github similar
• lambda-magic/plt-books github similar
• granule-project/gerty github similar
• vehicle-lang/vehicle github similar
• andrejbauer/mathematics-and-computation github similar
• math-comp/finmap github similar
• lgrahl/scripthookvpy3k github similar
• FreeProving/free-compiler github similar
• AndrasKovacs/implicit-fun-elaboration github similar
• niltok/tesseract github similar
• AndrasKovacs/staged-fusion github similar
• Glavo/kala-common github similar
• conal/denotational-hardware github similar
• frizensami/haskell-optimization github similar
• bkomuves/toy-language-server github similar
• ocharles/effect-zoo github similar
• HoTT/EPIT-2020 github similar