An ongoing formalization of the Formality Language. The purpose of this repository is to create the standard implementation of each part of the language, as well as prove varying properties such as strong normalization and consistency.
An ongoing formalization of the Formality Language. The purpose of this repository is to create the standard implementation of each part of the language, as well as prove varying properties such as strong normalization and consistency.