Term Algebra for Equational Reasoning
Updated 2023-11-09 23:49:48 -05:00
Example axiom and problem files within the TPTP Format
Updated 2023-11-09 23:49:37 -05:00
Create a video camera with a different background
Updated 2023-11-09 23:49:20 -05:00
Updated 2016-08-18 17:18:48 -04:00
Updated 2016-07-13 00:04:18 -04:00
Updated 2015-12-22 00:42:56 -05:00