3 ms·
WE "just" need to get the models outputting machine checkable proofs that semantics are preserved. I wonder what like this are going on in the math scene.
by fulafel 3y ago
WE "just" need to get the models outputting machine checkable proofs that semantics are preserved. I wonder what like this are going on in the math scene.
- KirillPanov 3y agoYou forgot valid machine checkable proofs. That's quite a tall order. Godel and all that.