improve FMB output - Githubissues

vprover / vampire

The Vampire Theorem Prover

https://vprover.github.io/

Other

282 stars 49 forks source link

improve FMB output #538

Closed MichaelRawson closed 4 months ago

MichaelRawson commented 5 months ago

Closes #473, #474, #475, #476.

Various FMB output improvements, mostly self-explanatory.