Operating system structured according to Coquand's "Calculus of Constructions"
GNU General Public License v3.0GPL-3.0