Viewing profile — formalspec
formalspec
HN member- Joined
- Wed, Sep 11, 2024, 4:21 AM UTC
- HN karma
- 2
- Public activity
- 1 items
- HN profile
- View on Hacker News ↗
About formalspec
No profile information was provided.
Recent public activity
-
comment
Comment #41507996
> No language will prevent you from misimplementing the specs If the spec is written in the language itself, then some languages certainly will. See Lean, Rocq, Isabelle, etc