Add proof checker #6
Description
it would be nice to have a feature where people can insert text files with definitions and reduction steps and the tool being able to check if the reduction steps are valid
{{ message }}
it would be nice to have a feature where people can insert text files with definitions and reduction steps and the tool being able to check if the reduction steps are valid