Commits

wjzz committed b6464f8

Typo.

Comments (0)

Files changed (1)

 The FullLS (and the WeakLS) prover tries to make all possible inversions after each recursive call, but here
 the context is fully decomposed into atoms at the beginning. It means that after each step whole context would be
 analyzed for possible inversions. We could solve this problem by splitting input resources into two sets,
-one for already inverted hypotheses and another for the remaiming ones.
+one for already inverted hypotheses and another for the remaining ones.
 
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%