Open gleachkr opened 9 years ago
The current implementation, which uses indentation, isn't very efficient, and is potentially confusing. It'd be good to have a parser that uses termination lines to find the ends of subproofs, as @JakeEhrlich and @davidfaraci have suggested.
The current implementation, which uses indentation, isn't very efficient, and is potentially confusing. It'd be good to have a parser that uses termination lines to find the ends of subproofs, as @JakeEhrlich and @davidfaraci have suggested.