3 ms·
I think we are talking at cross purposes now? This is a theorem proving language the OP is talking about. Different objectives and needs.
by garmaine 6y ago
I think we are talking at cross purposes now? This is a theorem proving language the OP is talking about. Different objectives and needs.
- Tainnor 6y agoYes, maybe we are. The original article was about a theorem prover, but I was under the impression that the discussion had migrated to a more general discussion about division by zero in programming languages. Apologies if that wasn't intended.