3 ms·
All of them? I don't understand why you think existing systems are not able to handle independence proofs. You embed your model in the logic of the system, and
by krapht 7y ago
All of them? I don't understand why you think existing systems are not able to handle independence proofs. You embed your model in the logic of the system, and this approach works for all proof assistants.
- 7373737373 7y agoBecause embedding a model in the logic of the system is not practically achievable in many systems