10th IJCAR (CADE, FroCoS, ITP, TABLEAUX) 2020: Paris, France

Interactive Theorem Proving/HOL

Formalizations

Verification

Reasoning Systems and Tools

a service of Schloss Dagstuhl - Leibniz Center for Informatics