Similar repositories to VincentSe/godel:

• VincentSe/godel github similar
• ilya-klyuchnikov/sll-meta-racket github similar
• ilya-klyuchnikov/minimetamix github similar
• andrejbauer/dependent-type-theory-syntax github similar
• poitin/Distiller github similar
• bedrocksystems/BRiCk github similar
• peterlefanulumsdaine/general-type-theories github similar
• gallais/generic-syntax github similar
• pi8027/lambda-calculus github similar
• sweirich/lambda-n-ways github similar
• bobatkey/sott github similar
• abella-prover/abella github similar
• TheoWinterhalter/formal-type-theory github similar
• ilya-klyuchnikov/ttlite github similar
• gasche/popl2016-papers github similar
• palladin/Higher github similar
• cpitclaudel/alectryon github similar
• mietek/total-fp github similar
• mattearnshaw/lawvere github similar
• eudoxia0/interim github similar
• MetaCoq/metacoq github similar
• Andromedans/andromeda github similar
• nomeata/incredible github similar
• EgbertRijke/HoTT-Intro github similar
• the-little-prover/j-bob github similar
• prathyvsh/category-theory-resources github similar
• AndrasKovacs/smalltt github similar
• AndrasKovacs/elaboration-zoo github similar
• sweirich/pi-forall github similar
• arximboldi/ewig github similar
• mortberg/cubicaltt github similar
• achlipala/frap github similar
• the-little-typer/pie github similar
• michaelt/martin-lof github similar
• ollef/sixten github similar
• vekatze/neut github similar
• arxiv-vanity/engrafo github similar
• GaloisInc/cryptol github similar
• google-research/dex-lang github similar
• tomprimozic/type-systems github similar