Collection
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łystok, Poland.
Editors
-
Adam Naumowicz
University of Bialystok, Poland, adamn@math.uwb.edu.pl
-
René Thiemann
University of Innsbruck, Austria, rene.thiemann@uibk.ac.at
