Re: Anon Thread for June 6 2020
[ProofMachine] Feature request: Ivy proof objects. It would be great if there was a simple way for submitting the Ivy proof objects created by Prover9. The IVY format is easy to check and the AIM problems are well-suited for Prover9. The proofs of similar first-order ATPs can be likely transformed to the IVY format quite easily if the problem is in CNF.
Complete thread:
- Anon Thread for June 6 2020 -
anon,
2020-06-06, 19:29
![[*]](themes/default/images/complete_thread.png "Open whole thread")
- Re: Anon Thread for June 6 2020 -
,
2020-06-21, 07:19
- Re: Anon Thread for June 6 2020 -
BlakeKeiller,
2020-06-21, 10:24
- Re: Anon Thread for June 6 2020 - BlakeKeiller, 2020-06-21, 19:45
- Re: Anon Thread for June 6 2020 -
BlakeKeiller,
2020-06-21, 10:24
- Re: Anon Thread for June 6 2020 -
,
2020-06-21, 07:19