Interactive Theorem Proving (conference)
id:
interactive-theorem-proving-conference-239-3388854
title:
Interactive Theorem Proving (conference)
text:
Interactive Theorem Proving (ITP) is an annual international academic conference on the topic of automated theorem proving, proof assistants and related topics, ranging from theoretical foundations to implementation aspects and applications in program verification, security, and formalization of mathematics. ITP brings together the communities using many systems based on higher-order logic such as ACL2, Coq, Mizar, HOL, Isabelle, Lean, NuPRL, PVS, and Twelf. Individual workshops or meetings devo
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/Interactive_Theorem_Proving_(conference)
date created:
date modified:
2023-11-12T19:58:01Z
main entity:
{"identifier":"Q6045337","url":"https://www.wikidata.org/entity/Q6045337"}
image:
fields total:
13
integrity:
13