Similar repositories to jbracker/polymonad-proofs:

• jbracker/polymonad-proofs github similar
• hughfdjackson/abattoir github similar
• jonsterling/coq-meaning-explanation github similar
• andrewthad/lens-prelude github similar
• nachivpn/coherence github similar
• 5HT/agda-nr-cats github similar
• heliaxdev/witch github similar
• florence/esterel-calculus github similar
• hgoes/nbis github similar
• MonoidalAttackTrees/ATLL-Formalization github similar
• andreasabel/sized-types github similar
• matijapretnar/proofs github similar
• conal/agda-cat-linear github similar
• jozefg/fibrational-semantics github similar
• smimram/fibred-polynomials github similar
• joshcough/HaskellCourse github similar
• IanOrton/decomposing-univalence github similar
• fsestini/nbe-weak-stlc github similar
• jonsterling/itt-bidirectional github similar
• CoqHott/coq-forcing github similar
• dorchard/coeffects-experiments github similar
• pigworker/Box github similar
• stefaniatadama/inductive_types github similar
• mietek/imla2017 github similar
• heades/cut-fill-agda github similar
• effectfully/random-stuff github similar
• pigworker/LibAgda github similar
• nmvdw/groupoids github similar
• UniMath/SetHITs github similar
• michaelsproul/dblib-linear github similar
• Chaaaos/formaltt github similar
• danelahman/Directed-Containers github similar
• orca-lang/orca github similar
• metaborg/mj.agda github similar
• divipp/frp_agda github similar
• umazalakain/fyp github similar
• epatters/Catlab.jl github similar
• gallais/typing-with-leftovers github similar
• RobertHarper/hott-notes github similar
• pigworker/Ming github similar