welcome

New book: Concrete Semantics!

Blog: proofcraft.org

me

@lsf37

gerwin.klein@data61.csiro.au

PGP key

This page looks better with style-sheets enabled.