Commit History

great progress in showing output
1434337

anakin87 commited on

various improvements
4c2a969

anakin87 commited on

class entailment_checker
d6bdb02

anakin87 commited on

st
a027256

anakin87 commited on

first steps
5b98569

anakin87 commited on