2020-09-17 18:1:11 (GMT)
I started to write a document that hopefully at some point will become somewhat of a reference for the veriT proof format. It's now at the point where I consider it useful. Mostly because it contains a complete list of all 90 proof rules used by veriT with a definition. (sometimes quite formal, somewhat handwavy). The introduction is mostly stolen from the PxTP paper by @Mathias Fleury and me. Hence, it's hopefully a nice overview but not a complete calculus.
Anyway it's here: https://verit.loria.fr/documentation/proofonomicon.pdf
Thanks to CI this is always the latest version \o/