Zum Inhalt springen

A Python frozenset interpretation of Dependent Type Theory