dannypsnl / classical-logic / #19

Builds Branch Commit Type Ran Committer Via Coverage
#19 develop test skolemize push dannypsnl cover pending completion
#18 develop explain in README misc formatting push dannypsnl cover pending completion
#17 develop enforce returns `#t` push dannypsnl cover pending completion
#16 develop unification and better output push dannypsnl cover pending completion
#15 develop complete fix fuse part push dannypsnl cover pending completion
#14 develop fix resolution the bug is came from unify same clause from too early, for different clausal, them should be removed on resolve push dannypsnl cover pending completion
#13 develop let K as KF's surface push dannypsnl cover pending completion
#12 develop fix skolemize push dannypsnl cover pending completion
#11 develop rename pass push dannypsnl cover pending completion
#10 develop unify resolution for different logic push dannypsnl cover pending completion
#9 develop KF to conjunctive normal form push dannypsnl cover pending completion
#8 develop fix offset term with neg-term push dannypsnl cover pending completion
#7 develop format push dannypsnl cover pending completion
#6 develop extract trasformation till stable push dannypsnl cover pending completion
#5 develop KF canonical push dannypsnl cover pending completion