Changes to FORPI based on reviewers comments

Paradoxika / Skeptik

A library for Proof Theory (especially Proof Compression) in Scala.

33 stars 25 forks source link

Open jgorzny opened 7 years ago

jgorzny commented 7 years ago

Includes changes as a result of reviewers comments for the FORPI paper's re-submission to AI Communications. Adds proofs used in experiments.