Similar repositories to JoelSjogren/translations:

• JoelSjogren/translations github similar
• konn/realisability github similar
• andrejbauer/dependent-type-theory-syntax github similar
• martinescardo/EffectfulForcing github similar
• punkdit/categories github similar
• ericfinster/opetopic-types github similar
• TOTBWF/agda-sgd github similar
• logsem/mitten_preorder github similar
• jonsterling/coq-domains github similar
• jonsterling/coq-guarded-computational-type-theory github similar
• JorisCeulemans/sikkel github similar
• effectfully/inference-in-agda github similar
• bobatkey/agda-metric-reals github similar
• gallais/aGdaREP github similar
• zaklogician/typical-antiphrasis github similar
• pamellies/lambda-calculus-and-categories github similar
• pigworker/Samizdat github similar
• vrahli/NuprlInCoq github similar
• pamellies/models-of-programming-languages github similar
• peterlefanulumsdaine/general-type-theories github similar
• msp-strath/TypOS github similar
• jonsterling/dreamtt github similar
• andrejbauer/marshall github similar
• martinescardo/TypeTopology github similar
• GeoCoq/GeoCoq github similar
• plt-amy/1lab github similar
• snowleopard/alga-paper github similar
• cpitclaudel/alectryon github similar
• Soostone/katip github similar
• CIFASIS/QuickFuzz github similar
• martinescardo/HoTT-UF-Agda-Lecture-Notes github similar
• ollef/sixty github similar
• agda/agda-categories github similar
• EgbertRijke/HoTT-Intro github similar
• AndrasKovacs/smalltt github similar
• michaelt/martin-lof github similar
• andrejbauer/plzoo github similar