David Van Horn
lambda-calcul.us
did:plc:uldh7gua6qessiqzhrdcf4uk
A certified implementation of Wasm 3.0 in Lean: https://github.com/plum-umd/lean-wasm
2026-11-05T21:08:44.573Z
Enable JavaScript to use Bluesky.
Learn more about Bluesky at bsky.social and atproto.com.