The Sophomore’s Dream

Manuel Eberl
Archive of Formal Proofs 2022.

abstract   BibTeX   PDF  
AFP Entry