Similar repositories to mchristianl/synthetic-reals:

• mchristianl/synthetic-reals github similar
• StergiosCha/MTT-semantics_book github similar
• mikeshulman/agda-infinity-categories github similar
• konn/realisability github similar
• jonsterling/effectful-typesetting github similar
• Deducteam/SizeChangeTool github similar
• oisdk/finiteness-in-cubical-type-theory github similar
• Trebor-Huang/agda-linear github similar
• niccoloveltri/final-pfin github similar
• jonsterling/agda-stc github similar
• IanOrton/cubical-topos-experiments github similar
• FFaissole/Valuations github similar
• tomdjong/domain-theory-in-uf github similar
• ericfinster/opetopic-types github similar
• thibautbenjamin/catt github similar
• andrejbauer/miniLCF github similar
• peterlefanulumsdaine/palmgren-archive github similar
• tetrapharmakon/yoneda-in-tongues github similar
• rowandavies/sml-cidre github similar
• jonsterling/coq-domains github similar
• andreasabel/ipl github similar
• ualib/ualib.github.io github similar
• annenkov/two-level github similar
• awodey/math github similar
• andreasabel/helf github similar
• ecavallo/ptt github similar
• RobertHarper/hott-notes github similar
• bitonic/tog github similar
• gallais/agda-presburger github similar
• brunjlar/protop github similar
• mortberg/gen-cart github similar
• isabelle-prover/mirror-isabelle github similar
• gallais/aGdaREP github similar
• TOTBWF/muprl github similar
• fizruk/rzk github similar
• pamellies/lambda-calculus-and-categories github similar
• mtt-lang/mtt-lang github similar
• mr-ohman/logrel-mltt github similar
• WhatisRT/meta-cedille github similar
• nick8325/twee github similar