Similar repositories to 5HT/DependentLinearPi:

• 5HT/DependentLinearPi github similar
• gibiansky/IHaskell github similar
• forked-from-1kasper/tt github similar
• danistefanovic/build-your-own-x github similar
• Lysxia/coq-recursion-schemes github similar
• tuvtran/project-based-learning github similar
• anjapetkovic/type-theory-slovene-dictionary github similar
• danelahman/POPL18 github similar
• xuanruiqi/algebraic-geometry github similar
• nmvdw/RezkCompletion github similar
• GamestonkTerminal/GamestonkTerminal github similar
• aquynh/capstone github similar
• Eugeny/terminus github similar
• bobatkey/polly github similar
• jonsterling/lecture-notes github similar
• groupoid/languages github similar
• Soonad/Formality-Agda github similar
• k6io/k6 github similar
• mroman42/optics-form-a-category github similar
• NetchX/Netch github similar
• conal/Collaboration github similar
• niccoloveltri/agda-gtt github similar
• HoTT/HoTT-2019 github similar
• shaunlebron/parinfer github similar
• nmvdw/groupoids github similar
• silvanshade/cool-tt github similar
• logsem/aneris github similar
• kcsmnt0/quotient github similar
• uds-psl/second-order-logic github similar
• RobertHarper/hott-notes github similar
• groupoid/infinity github similar
• sergiymaksymenko/pl_topology github similar
• unimath2019-tt/UniMath github similar
• yizhouzhang/olaf-coq github similar
• wadler/bnfc-examples github similar
• fangyi-zhou/pallvm github similar
• NeM-T/Formalizing-TaPL github similar
• UniMath/largecatmodules github similar
• larrytheliquid/generic-elim github similar
• HarrisonGrodin/agda-modtt github similar