Closed jonaprieto closed 8 years ago
Add a new option --check-theorem. This option is especially thinking for Apia program. Actually, Apia only required if the input file is a theorem or not. But other people may or may not interest only on this.
--check-theorem
Add a new option
--check-theorem. This option is especially thinking for Apia program. Actually, Apia only required if the input file is a theorem or not. But other people may or may not interest only on this.