Similar repositories to andrejbauer/dedekind-reals:

• andrejbauer/dedekind-reals github similar
• gibiansky/IHaskell github similar
• tootsuite/mastodon github similar
• danistefanovic/build-your-own-x github similar
• RobertHarper/hott-notes github similar
• ayberkt/formal-topology-in-UF github similar
• nachivpn/k github similar
• aquynh/capstone github similar
• bedrocksystems/cpp2v github similar
• hecrj/iced github similar
• mortberg/gen-cart github similar
• TOTBWF/agda-sgd github similar
• kcsmnt0/quotient github similar
• RedPRL/kado github similar
• JacquesCarette/TheoriesAndDataStructures github similar
• nmvdw/Three-HITs github similar
• xuanruiqi/algebraic-geometry github similar
• groupoid/anders github similar
• jonsterling/coq-domains github similar
• jonsterling/math github similar
• mikeshulman/catlog github similar
• mb64/xtt github similar
• arthuraa/agda-hoas-demo github similar
• ralsei/six-eyes github similar
• ecavallo/ptt github similar
• andrejbauer/clerical github similar
• fredefox/cat github similar
• TheoWinterhalter/formal-type-theory github similar
• edx/edx-platform github similar
• emtst/emtst-proof github similar
• jashug/WhyNotW github similar
• Trebor-Huang/combinator-nbe github similar
• jdoughertyii/hott-species github similar
• precog/quasar github similar
• Eloston/ungoogled-chromium github similar
• tuvtran/project-based-learning github similar
• Glavo/kala-lang github similar
• jamievicary/globular github similar
• superhaNds/cwfs github similar
• limemloh/cubical-congruence github similar