search

arademaker / krr

Knowledge Representation and Reasoning
3 stars 6 forks source link

prove em outros pacotes que usem tableaux #18

Closed arademaker closed 9 years ago

arademaker commented 9 years ago

Se tentarmos usar prove em outro pacote, temos um erro. O símbolo implies em tableaux é diferente do símbolo implies em outro pacote. Qual a forma mais elegante de resolver isso.

arademaker commented 9 years ago

Em c335879 apliquei contribuição do @vinicius-f para exportar o símbolo 'implies.