/FoxieOS

Operating system structured according to Coquand's "Calculus of Constructions"

GNU General Public License v3.0GPL-3.0

FoxieOS

Operating system structured according to Coquand's "Calculus of Constructions"