Logo

Theory Seminar Spring 2021 - Shared screen with speaker view
Marius Minea
04:39
Le coq sportif :)
Bob Sproull
04:53
coq au vin
Jared Yeager
10:15
(Now, what I can't help but be curious of, is what fundamental design choices Coq makes that differ from those in HOL4.)
John Fernandes
14:36
that's probably just a parsing decision since that's the order of operations
Rik Sengupta
50:55
I have to leave slightly early today unfortunately, but thanks Emily, very informative talk!