Use rule simplification#13

Merged

cedretaber merged 2 commits intoproof-ninja:masterfrom

gfngfn:use-rule-simplification

Jun 28, 2023

Commits on Jan 12, 2023

use `Simplification.simplify` in `main.ml`
gfngfn
committed

Commits on Mar 2, 2023

Merge branch 'dev-rule-simplification' into use-rule-simplification
gfngfn
committed