Updated 2023-11-10 04:53:44 +00:00
Updated 2015-12-22 05:42:56 +00:00
The Spectra Automated Planner for DCEC built on ShadowProver
Updated 2024-06-01 05:24:35 +00:00
Pubnix word guessing game
Updated 2024-01-08 02:24:51 +00:00
John Slaney's MaGIC (Matrix Generator for Implication Connectives), a tool for logic research.
Updated 2017-10-20 14:41:42 +00:00
Matrix Model Generator for Implicative Connectives
Updated 2025-05-10 03:03:11 +00:00