Similar repositories to astump/cedille-core:

• astump/cedille-core github similar
• ToTal/total github similar
• mvr/rainbow github similar
• pigworker/Ship github similar
• robbertkrebbers/corn github similar
• jirkamarsik/lambda-mu github similar
• mmcqd/fibertt github similar
• amintimany/CTDT github similar
• Fermat/dependent-fold github similar
• chrisamaphone/celf-tutorial github similar
• jozefg/independence-of-the-continuum-hypothesis github similar
• UniversalAlgebra/lean-ualib github similar
• mortberg/TypeTheory github similar
• nbenton/coqdomains github similar
• Lapin0t/induction-recursion github similar
• pigworker/Box github similar
• kcsmnt0/numbers github similar
• ssomayyajula/refinery github similar
• ayberkt/abt github similar
• joom/edit-time-tactics github similar
• yannham/visual-goi github similar
• matijapretnar/aeff github similar
• gmalecha/skip-list github similar
• astump/cedille-core-spec github similar
• michiakig/maml github similar
• bedrocksystems/coq-lens github similar
• JasonGross/coq-tactics github similar
• ayberkt/sml-system-t github similar
• ericfinster/catt github similar
• thsutton/cha github similar
• theoremprover-museum/LCF77 github similar
• ayberkt/simplc github similar
• twanvl/ttie github similar
• IanOrton/cubical-topos-experiments github similar
• jagd/fakebold github similar
• pigworker/Frank github similar
• andreasabel/helf github similar
• jonsterling/sml-logical-framework github similar
• gbaz/works-in-progress github similar
• avigad/qpf github similar