Add a syntax for cubical type theory
Issue #3
new
A minimal version of cubical type theory, without composition, see e.g. https://photos.google.com/share/AF1QipO7b06B5YyAfULZd_GUSaLmXCCjpUv4-Ejd_abRuZ9-74rIkqtQ-QXgA7gOD1FlWQ/photo/AF1QipOIi5qi-sUd-UvLnqZCVdSIKDFRlwV1yUzeAqji?key=V1c4Vk9mRVh0RGZncF8wOGRvT3IwbVMzTWdRQWJR
Comments (1)
-
reporter - Log in to comment
also extend it with NBE proof