# Homotopy Type Theory: Programming and Verification

> research project

**Wikidata**: [Q63368493](https://www.wikidata.org/wiki/Q63368493)  
**Source**: https://4ort.xyz/entity/homotopy-type-theory-programming-and-verification