Closed RichardMoot closed 9 years ago
Implement cut elimination
Cut elimination merged into master branch. Next up: natural deduction.
Implement cut elimination