dannypsnl / classical-logic
65%

DEFAULT BRANCH: develop
Repo Added
Files 9
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst

LAST BUILD ON BRANCH develop
branch: SELECT
CHANGE BRANCH
x

#19

push

cover

dannypsnl 
test skolemize

249 of 382 relevant lines covered (65.18%)

0.65 hits per line

Relevant lines Covered
382 RELEVANT LINES 249 COVERED LINES
0.65 HITS PER LINE
Source Files on develop

Recent builds

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  
See All Builds (19)