Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
rpandelT.mp4 | 2014-03-05 15:18 | 15M | ||
rpandel.mp4 | 2014-03-05 15:18 | 14M | ||
TripleNegTab.mp4 | 2014-03-05 15:18 | 9.4M | ||
TripleNegCoq.mp4 | 2014-03-05 15:18 | 24M | ||
TableauExample1.mp4 | 2014-07-18 15:17 | 4.7M | ||
SizeIndCoq.mp4 | 2014-07-18 15:17 | 48M | ||
SizeInd.mp4 | 2014-07-18 15:17 | 6.2M | ||
OrAndDistrTab.mp4 | 2014-03-05 15:18 | 23M | ||
OrAndDistrCoq.mp4 | 2014-03-05 15:18 | 58M | ||
Natpluscomtablet.mp4 | 2014-03-05 15:18 | 14M | ||
Natpluscom.mp4 | 2014-03-05 15:18 | 27M | ||
CurryHoward1Tab.mp4 | 2014-03-05 15:18 | 23M | ||
CurryHoward1Coq.mp4 | 2014-03-05 15:18 | 51M | ||
CoqLeib1d.mp4 | 2014-03-05 15:17 | 13M | ||
CantorTab.mp4 | 2014-03-05 15:17 | 18M | ||
CantorCoq.mp4 | 2014-03-05 15:17 | 27M | ||