https://lists.cs.princeton.edu/hyperkitty/list/talks@lists.cs.princeton.edu/message/W7SZLZINBOYDQVRV3IAX44HTBVWCBIWW/
[talks] Colloquium Speaker Adam Chlipala Tues March 8 - talks - lists.cs.princeton.edu
adam chlipala
https://adam.chlipala.net/personal/index2
Adam Chlipala
adam