Comment by dyauspitr

10 hours ago

Well then formally verify the language system. I’m not sure what the confusion is. They didn’t say the whole system is formally verified.

0 comments