Logo

Type Theory Forall

Type Theory much beyond inference rules

Episode image

#34 Foundations of Theorem Provers and Cedille2

Andrew Marmaduke

Apr 11th 2024   |  88 min
0:00
0:00