New company: Proofcraft!
Book: Concrete Semantics
Blog
@lsf37
gerwin.klein@proofcraft.systems
PGP key