From the Universality of Mathematical Truth to the Interoperability of Proof Systems
Author: Gilles Dowek
Paper Information
| Title: | From the Universality of Mathematical Truth to the Interoperability of Proof Systems |
| Authors: | Gilles Dowek |
| Proceedings: | IJCAR 2022 Proceedings of IJCAR 2022 |
| Editors: | Laura Kovacs, Jasmin Blanchette and Dirk Pattinson |
| Keywords: | |
| Pages: | 4 |
| Talk: | Aug 08 09:00 (Session 94D: Invited Talk and Cooperating Reasoners) |
| Paper: |  |