We formalize aspects of the graph model of type theory
Primary LanguageLeanApache License 2.0Apache-2.0