Archive of Formal Proofs, Volume 2020

Volume 2020, 2020

a service of Schloss Dagstuhl - Leibniz Center for Informatics