welcome

New company: Proofcraft!

Book: Concrete Semantics

Blog

me

@lsf37 (Mastodon)

gerwin.klein@proofcraft.systems

PGP key