https://github.com/RichardMoot/LinearOne
Tip revision: 4ddcbda9e0e6844b3ca150308a0c6f2442e5b084 authored by Richard Moot on 16 March 2015, 19:10:44 UTC
Commented out natural deduction
Commented out natural deduction
Tip revision: 4ddcbda
File | Mode | Size |
---|---|---|
.gitignore | -rw-r--r-- | 127 bytes |
LICENSE | -rw-r--r-- | 25.8 KB |
Makefile | -rw-r--r-- | 43 bytes |
README | -rw-r--r-- | 645 bytes |
auxiliaries.pl | -rw-r--r-- | 5.1 KB |
d_grammar.pl | -rw-r--r-- | 6.3 KB |
dancing_links.pl | -rw-r--r-- | 6.1 KB |
hybrid_grammar.pl | -rw-r--r-- | 7.7 KB |
latex.pl | -rw-r--r-- | 10.2 KB |
lexicon.pl | -rw-r--r-- | 4.3 KB |
mill1.pl | -rw-r--r-- | 23.5 KB |
mill1.tgz | -rw-r--r-- | 40.3 KB |
ordset.pl | -rwxr-xr-x | 16.2 KB |
portray_graph_dot.pl | -rw-r--r-- | 1.0 KB |
portray_graph_none.pl | -rw-r--r-- | 217 bytes |
portray_graph_tikz.pl | -rw-r--r-- | 5.5 KB |
proof_generation.pl | -rw-r--r-- | 16.9 KB |
replace.pl | -rw-r--r-- | 4.9 KB |
sem_utils.pl | -rw-r--r-- | 20.7 KB |
translations.pl | -rw-r--r-- | 12.5 KB |
tree234.pl | -rwxr-xr-x | 60.0 KB |