Invited Talk
in
Workshop: Workshop on Human-Machine Collaboration and Teaming
How Will Interactive Theorem Provers Develop? Sir Timothy Gowers (Recorded Talk, but with Live Q&A at 13:30!)
Abstract:
Chat is not available.