Skip to content

Latest commit

 

History

History
35 lines (30 loc) · 2.51 KB

README.md

File metadata and controls

35 lines (30 loc) · 2.51 KB

Sized Dependent Types via Extensional Type Theory

Graduation Checklist

DEADLINE: 26 August 2022

Helpful Links