[go: up one dir, main page]

welcome

New company: Proofcraft!

Book: Concrete Semantics

Blog

Photo of me