Archive of Formal Proofs, Volume 2012

Volume 2012, 2012