Term Algebra for Equational Reasoning
Updated 2023-11-10 04:49:48 +00:00
Example axiom and problem files within the TPTP Format
Updated 2023-11-10 04:49:37 +00:00
Create a video camera with a different background
Updated 2023-11-10 04:49:20 +00:00
Public archive of sentenceworthy.com
Updated 2023-11-10 04:47:49 +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
Updated 2016-08-18 21:18:48 +00:00
Updated 2016-07-13 04:04:18 +00:00
Updated 2015-12-22 05:42:56 +00:00