Similar repositories to andrejbauer/formal-type-theory:

• andrejbauer/formal-type-theory github similar
• andrejbauer/lvr-sat github similar
• andrejbauer/clerical github similar
• peterlefanulumsdaine/general-type-theories github similar
• TheoWinterhalter/formal-type-theory github similar
• andrejbauer/spartan-type-theory github similar
• Andromedans/andromeda github similar
• EgbertRijke/HoTT-Intro github similar
• compiling-to-categories/concat github similar
• the-little-typer/pie github similar
• michaelt/martin-lof github similar
• jwiegley/category-theory github similar
• owlbarn/owl github similar
• andrejbauer/plzoo github similar
• diku-dk/futhark github similar