Skip to content

Commit

Permalink
refreshing
Browse files Browse the repository at this point in the history
  • Loading branch information
@josd
josd committed Dec 13, 2024
1 parent 34eabd4 commit bf2d9fd
Showing 1 changed file with 0 additions and 1 deletion.
1 change: 0 additions & 1 deletion reasoning/nand/nand.n3
View file
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,6 @@

@prefix list: <http://www.w3.org/2000/10/swap/list#>.
@prefix graph: <http://www.w3.org/2000/10/swap/graph#>.
@prefix math: <http://www.w3.org/2000/10/swap/math#>.
@prefix log: <http://www.w3.org/2000/10/swap/log#>.

# contrapositive rules
Expand Down

0 comments on commit bf2d9fd

Please sign in to comment.