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