Similar repositories to niccoloveltri/final-pfin:

• niccoloveltri/final-pfin github similar
• smlnj/smlnj github similar
• plt-amy/cubical-methods github similar
• pamellies/models-of-programming-languages github similar
• yforster/coq-synthetic-computability github similar
• Eloston/ungoogled-chromium github similar
• pigworker/SmolCat github similar
• ralsei/six-eyes github similar
• nmvdw/RezkCompletion github similar
• mr-ohman/intuitionistic-normalization github similar
• oisdk/finiteness-in-cubical-type-theory github similar
• maxsnew/grammars-and-semantic-actions github similar
• maxsnew/cubical-cbpv github similar
• RobertHarper/pfpl-defns github similar
• jcreedcmu/lambda-maps github similar
• TOTBWF/agda-sgd github similar
• clayrat/coherence-spaces github similar
• nachivpn/expelim github similar
• zmthy/recursive-types github similar
• mietek/abel-chapman-extended github similar
• groupoid/anders github similar
• guillaumebrunerie/SmashProduct github similar
• jirkamarsik/lambda-mu github similar
• xuanruiqi/commalg github similar
• tomdjong/TypeTopology github similar
• elpinal/duploids github similar
• kbuzzard/etale_experiments github similar
• amblafont/UniversalII github similar
• jonsterling/agda-synthetic-domain-theory github similar
• CMU-HoTT/serre-finiteness github similar
• amintimany/CTDT github similar
• jonsterling/effectful-typesetting github similar
• pigworker/PolyTest github similar
• nmvdw/GrpdHITs github similar
• xuanruiqi/categories github similar
• jonsterling/sml-pronominal-ml github similar
• IanOrton/cubical-topos-experiments github similar
• ericfinster/opetopic-types github similar
• gibiansky/IHaskell github similar
• HarrisonGrodin/agda-modtt github similar