Skip to content

Commit

Permalink
refreshing
Browse files Browse the repository at this point in the history
  • Loading branch information
josd committed Nov 16, 2024
1 parent 80a8f9d commit 742a15a
Show file tree
Hide file tree
Showing 846 changed files with 5,624 additions and 16,212 deletions.
3 changes: 0 additions & 3 deletions color/3outof5/answer.n3

This file was deleted.

3 changes: 0 additions & 3 deletions color/3outof5/test

This file was deleted.

3 changes: 0 additions & 3 deletions color/4color/test

This file was deleted.

1 change: 0 additions & 1 deletion color/README

This file was deleted.

3 changes: 0 additions & 3 deletions color/ackermann/test

This file was deleted.

3 changes: 0 additions & 3 deletions color/acp/test

This file was deleted.

3 changes: 0 additions & 3 deletions color/age/test

This file was deleted.

3 changes: 0 additions & 3 deletions color/backward/test

This file was deleted.

11 changes: 0 additions & 11 deletions color/bcrule/test

This file was deleted.

2 changes: 0 additions & 2 deletions color/bi/test

This file was deleted.

2 changes: 0 additions & 2 deletions color/bmi/test

This file was deleted.

2 changes: 0 additions & 2 deletions color/bmt/test

This file was deleted.

6 changes: 0 additions & 6 deletions color/ccd/test

This file was deleted.

2 changes: 0 additions & 2 deletions color/cha58/test

This file was deleted.

2 changes: 0 additions & 2 deletions color/complex/test

This file was deleted.

2 changes: 0 additions & 2 deletions color/crypto/test

This file was deleted.

9 changes: 0 additions & 9 deletions color/cs/query-001.n3

This file was deleted.

3 changes: 0 additions & 3 deletions color/cs/test

This file was deleted.

4 changes: 0 additions & 4 deletions color/csv/test

This file was deleted.

4 changes: 0 additions & 4 deletions color/dcg/test

This file was deleted.

3 changes: 0 additions & 3 deletions color/deontic/test

This file was deleted.

3 changes: 0 additions & 3 deletions color/derived-rule/test

This file was deleted.

4 changes: 0 additions & 4 deletions color/diamond-property/diamond-property-answer.n3

This file was deleted.

3 changes: 0 additions & 3 deletions color/diamond-property/test

This file was deleted.

3 changes: 0 additions & 3 deletions color/dp/dpQ.n3

This file was deleted.

2 changes: 0 additions & 2 deletions color/dp/test

This file was deleted.

6 changes: 0 additions & 6 deletions color/dqc/test

This file was deleted.

3 changes: 0 additions & 3 deletions color/dt/prepare

This file was deleted.

2 changes: 0 additions & 2 deletions color/dt/test

This file was deleted.

4 changes: 0 additions & 4 deletions color/easter/test

This file was deleted.

2 changes: 0 additions & 2 deletions color/edt/test

This file was deleted.

2 changes: 0 additions & 2 deletions color/entail/test

This file was deleted.

3 changes: 0 additions & 3 deletions color/eulers-identity/test

This file was deleted.

2 changes: 0 additions & 2 deletions color/euq/test

This file was deleted.

2 changes: 0 additions & 2 deletions color/fcm/test

This file was deleted.

2 changes: 0 additions & 2 deletions color/fgcm/test

This file was deleted.

2 changes: 0 additions & 2 deletions color/fibonacci/test

This file was deleted.

Loading

0 comments on commit 742a15a

Please sign in to comment.