15th International Conference on Interactive Theorem Proving (ITP 2024)
Event date
September 9-14, 2024
Event location
Tbilisi, Georgia
results
15th International Conference on Interactive Theorem Proving (ITP 2024)
September 9-14, 2024
Tbilisi, Georgia