Giters
samwalrus
/
scasp_tests
Playing with scasp
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
3
Watchers:
3
Issues:
1
Forks:
samwalrus/scasp_tests Issues
Should a negation of a conjunction p, q also contain not(p), not(q)
Closed
3 years ago
Comments count
1