Formal verification skills for Claude Code - generate and verify TLA+, Alloy, and Dafny specs from natural language
Latest commits.
Builders behind this project.
