Re: Anon Thread for June 6 2020

by , Sunday, June 21, 2020, 07:19 (532 days ago) @ anon

[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:

 RSS Feed of thread

powered by my little forum