G

gen-fof-proof

Some tools around first-order proof handling