[ test-suite ] new test cases for all boolean flags. - Githubissues

jonaprieto / online-atps

Run ATPs from SystemOnTPTP

MIT License

6 stars 1 forks source link

[ test-suite ] new test cases for all boolean flags. #42

Closed jonaprieto closed 7 years ago