mirror of
https://github.com/arranstewart/magic.git
synced 2024-11-21 20:47:09 -05:00
John Slaney's MaGIC (Matrix Generator for Implication Connectives), a tool for logic research.
manual | ||
README.md |
MaGIC: Matrix Generator for Implication Connectives
A copy of the code and documentation for John Slaney's MaGIC (Matrix Generator for Implication Connectives), a tool for logical research.
MaGIC homepage
The MaGIC homepage is at http://users.cecs.anu.edu.au/~jks/magic.html.
MaGIC manual
The link to the MaGIC manual on the MaGIC homepage is broken; the
correct link is here, and a local copy is stored in the directory manual
.