Similar repositories to lukaszcz/coinduction:

• lukaszcz/coinduction github similar
• mikeshulman/ohtt github similar
• coq-community/run-coq-bug-minimizer github similar
• combinators/cls-coq github similar
• DreamLinuxer/FracAncilla github similar
• coq-community/docker-base github similar
• aztek/tptp github similar
• amblafont/UniversalII github similar
• groupoid/anders github similar
• picnic/RelationExtraction github similar
• mr-ohman/intuitionistic-normalization github similar
• JLimperg/well-founded-corecursion github similar
• cj-xu/OrdinalNotations github similar
• groupoid/agda github similar
• thibautbenjamin/catt github similar
• lukaszcz/infinitary-confluence github similar
• nmvdw/HITs-Examples github similar
• oisdk/finiteness-in-cubical-type-theory github similar
• nachivpn/expelim github similar
• Deducteam/Agda2Dedukti github similar
• peterthiemann/definitional-session github similar
• TOTBWF/agda-sgd github similar
• combinators/cls-scala github similar
• pedagand/coq-label github similar
• niccoloveltri/final-pfin github similar
• coq-community/templates github similar
• coq/bignums github similar
• gergoerdi/generic-syntax github similar
• jonsterling/agda-effectful-forcing github similar
• CMU-HoTT/serre-finiteness github similar
• L-TChen/FiniteSets github similar
• ayberkt/simplc github similar
• ericfinster/opetopic-types github similar
• superhaNds/cwfs github similar
• coq-community/docker-coq-action github similar
• coq-community/lemma-overloading github similar
• andrejbauer/higher-rank-syntax github similar
• UlfNorell/agda-bench github similar
• ejgallego/coq-plugin-template github similar
• plt-amy/agda-search github similar