Selected Extended Papers of ITP 2023
ITP 2023 was the fourteenth international conference on Interactive Theorem Proving within the ITP conference series, whose history goes back to 1988. ITP 2023 took place on July 31 to August 4, 2023 in Biał...
- Submission status
- Open
- Submission deadline
- 28 May 2024