v1.0.3

fixing lingua:implication

v1.0.2

using lingua:condition to describe backward rules

v1.0.1

fixing queries

v1.0.0

new lingua: vocabulary

v0.7.0

explanation via explicit question/answer

v0.6.5

some refactoring

v0.6.4

adding forward contrapositive rules

v0.6.3

dropping contrapositives for blogic

v0.6.2

reordering output

v0.6.1

getting proof explanations for blogic