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