Comment by measurablefunc Comment by measurablefunc 2 days ago 1 reply Copy Link View on Hacker News They also use an unverified parser but good to know this exists.
Copy Link aw1621107 a day ago Collapse Comment - That's true, though I think the general point stands - you need a "proper" formal spec to even begin thinking about a formally verified runtime. Presumably if you have a full formal spec a verified parser should be within reach. Reply View | 0 replies
That's true, though I think the general point stands - you need a "proper" formal spec to even begin thinking about a formally verified runtime. Presumably if you have a full formal spec a verified parser should be within reach.