Giters

barras / cic-model

Set-theoretical models of various type theories (up to an extensional version of the Calculus of Inductive Constructions), aiming at proving logical consistency and strong normalization

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

cic-model

Set-theoretical models of various type theories (up to an extensional version of the Calculus of Inductive Constructions), aiming at proving logical consistency and strong normalization

About

Set-theoretical models of various type theories (up to an extensional version of the Calculus of Inductive Constructions), aiming at proving logical consistency and strong normalization

Languages

Language:Coq 99.5%Language:HTML 0.2%Language:CSS 0.1%Language:Shell 0.1%Language:Makefile 0.1%Language:JavaScript 0.0%