search

jonaprieto / online-atps

Run ATPs from SystemOnTPTP
MIT License
6 stars 1 forks source link

Fixed typo. #51

Closed asr closed 6 years ago

asr commented 6 years ago

This simple PR fix a typo.