Commit History

little code improvements
a147158

anakin87 commited on

generate info page from readme
16cd190

anakin87 commited on

progress in readme
bcb986c

anakin87 commited on

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