Show HN: Statespace – learn formal methods by building a tiny checked language

Category: other

Tags: formal-methods, education, verification, static-site, z3

Score: 4.3/10 (Innovation: 5, Technical: 4, Documentation: 3, Utility: 4)

Statespace is a static-site course that teaches formal methods by guiding learners to build a tiny checked language, integrating Z3, Lean, TLA+, and Postgres. It targets backend engineers curious about verification and proof-driven development, though the project is early-stage with minimal public documentation.

Target audience: backend developers, formal methods learners, systems engineers

Repository: https://statespace.play.naigap.com/

View on Hacker News