Archive of Formal Proofs

Venue Information

  • issn: 2150-914x
  • access: some or all publications openly available

Archive of Formal Proofs Home Page

a service of Schloss Dagstuhl - Leibniz Center for Informatics