Delete "Term Equality" - Githubissues

normativeai / backend

GNU General Public License v3.0

3 stars 3 forks source link

Closed terezanovot closed 5 years ago

terezanovot commented 5 years ago

Could we delete this button in Connectives before tutorial, because we do not use it?