github/magic
1
0
Fork 0
mirror of https://github.com/arranstewart/magic.git synced 2024-11-14 20:40:21 -05:00
Code Issues Projects Releases Packages Wiki Activity
John Slaney's MaGIC (Matrix Generator for Implication Connectives), a tool for logic research.
1 commit 2 branches 2 tags 434 KiB
C 98.1%
Makefile 1%
Roff 0.9%
Find a file
arran cfd164d9a8 added README and a copy of the manual.
2017-10-20 22:41:42 +08:00
manual added README and a copy of the manual. 2017-10-20 22:41:42 +08:00
README.md added README and a copy of the manual. 2017-10-20 22:41:42 +08:00

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.