Well then formally verify the language system. I’m not sure what the confusion i...

		dyauspitr 39 days ago \| parent \| context \| favorite \| on: Lean proved this program correct; then I found a b... 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.