# content
A Python frozenset interpretation of Dependent Type Theory (by philzook) — discussion

#formalmethods #plt