This repository was archived by the owner on Apr 25, 2024. It is now read-only.
Self-contained proof steps for EqualityProver and APRProver#886
Closed
nwatson22 wants to merge 21 commits into
Closed
Self-contained proof steps for EqualityProver and APRProver#886nwatson22 wants to merge 21 commits into
nwatson22 wants to merge 21 commits into