2 projects tagged "Mathematics"
Updated 19 Nov 2003
JScript Logic
| Pop | 31.81 |
|---|---|
| Vit | 1.00 |
JScript Logic implements core routines for solving logic puzzles. Advanced features are being added for derivations using rules of formal logic.
Updated 03 Oct 2006
Molle
| Pop | 13.30 |
|---|---|
| Vit | 1.00 |
Molle is a cross-platform prover for modal logic. It exploits the modal semantic tableaux method. It features a very usable graphical interface, with an interactive representation of generated models.
