September 25: Jon Sterling, Is it time for a new proof assistant?

16 views

Skip to first unread message

Angiuli, Carlo

unread,

Sep 22, 2025, 11:38:20 AM (4 days ago) Sep 22

to 'Emily Riehl' via HoTT Electronic Seminar Talks

The next season of HoTTEST starts this Thursday at 11:30 AM EDT (UTC-4) / 15:30 UTC with:

Jon Sterling

Is it time for a new proof assistant?

Abstract: It could be time to build a _non-experimental_ proof assistant for homotopy type theory and univalent foundations. I’ll give my thoughts on what that would entail, and where we are able to contribute in the era of _Pax Leanica_, focusing on algebraic hierarchies, carefully designed user experience, and a proposed return to foundational orthodoxy.

We are also pleased to unveil a brand new website for HoTTEST at

https://hottest-seminar.github.io/

thanks to Zack Dooley, where you can find further information about the HoTTEST seminar, including the rest of our lineup for Fall 2025, and videos and slides from past talks. (Please let us know if you encounter any issues with the website.)

See you this Thursday on Zoom: https://zoom.us/j/994874377

Carlo

Reply all

Reply to author

Forward

0 new messages