Similar repositories to jonsterling/coq-sgdt:

• jonsterling/coq-sgdt github similar
• silvanshade/cool-tt github similar
• yforster/coq-synthetic-computability github similar
• csetzer/cspagdaPublic github similar
• emilypi/julip github similar
• jonsterling/lecture-notes github similar
• tomdjong/TypeTopology github similar
• xuanruiqi/commalg github similar
• elpinal/duploids github similar
• AndrasKovacs/preordertt github similar
• otim-project/ega github similar
• adrieng/sync-lang github similar
• jonsterling/lean-syntax github similar
• unimath2019-tt/UniMath github similar
• bgavran/Idris_Category_Theory github similar
• favonia/kusariyarou github similar
• jonsterling/coq-algebra-experiments github similar
• mvr/rainbow github similar
• konn/vscode-redtt-diagnostics github similar
• laMudri/quantitative github similar
• kcsmnt0/numbers github similar
• superhaNds/cwfs github similar
• mwpb/idrisCT github similar
• LightAndLight/idris-lambda-reflection github similar
• wyn/incremental github similar
• jonsterling/guarded-theories github similar
• pribanacek/cicadas github similar
• TOTBWF/cooltt-categories github similar
• colin-adams/idris-libmicrohttpd github similar
• axiomsofchoice/cat-svg github similar
• uelis/contextual github similar
• nachivpn/expelim github similar
• uds-psl/autosubst-ocaml github similar
• nachivpn/k github similar
• mikeshulman/dirtt github similar
• jonsterling/agda-stc github similar
• guillaumebrunerie/SmashProduct github similar
• jirkamarsik/lambda-mu github similar
• agda/guarded github similar
• rbarreiro/ifui github similar