github

Follow

Repositories

9

Projects Packages

Search

Sort

Newest Oldest Alphabetically Reverse alphabetically Recently updated Least recently updated Most stars Fewest stars Most forks Fewest forks

magic

C 0 0

John Slaney's MaGIC (Matrix Generator for Implication Connectives), a tool for logic research.

Updated 2017-10-20 10:41:42 -04:00