LogicCalculus Code
A logic IDE for the sentential logic and the predicate logic.
Status: Alpha
Brought to you by:
omercan
Menu
▾
▴
Tree [r13] / History
| File | Date | Author | Commit |
|---|---|---|---|
| branches | 2011-11-05 | allura | [r1] Initial commit |
| tags | 2011-11-07 | omercan | [r10] Version 1.1 |
| trunk | 2013-10-03 | omercan | [r13] New steps towards new Parser for the Math script. |
