title

Interactive Theorem Proving

charset

utf-8

viewport

width=device-width, initial-scale=1.0

description

The ITP conference series is concerned with all aspects of interactive theorem proving, ranging from theoretical foundations to implementation aspects and applications in program verification, security, and the formalization of mathematics.

keywords

ITP, interactive theorem proving, proof assistants, program verification, formalization, conference

apple-touch-icon

assets/img/apple-touch-icon.png

icon

assets/img/favicon.png

stylesheet

https://fonts.googleapis.com/css?family=Open+Sans:300,300i,400,400i,600,600i,700,700i|Roboto:300,300i,400,400i,500,500i,700,700i&display=swap

stylesheet

assets/vendor/bootstrap/css/bootstrap.min.css

stylesheet

assets/vendor/animate.css/animate.min.css