Comment by thfuran

11 days ago

Relatively uncommon as in there is not, as far as I know, a single mainstream language with a formally verified spec.

0 comments