Type Theory Forall: What Is Type Theory and What Properties We Should Care About
1 points by matt_d 15 hours ago | 0 comments