Archive of Formal Proofs, Volume 2017

Volume 2017, 2017

Schloss Dagstuhl LZI