2 ms·
It shouldn't even be that difficult to build it. Modus ponens and good theorems are all you need. Building the data set for that should be quite trivial.
by imtringued 3y ago
It shouldn't even be that difficult to build it. Modus ponens and good theorems are all you need.
Building the data set for that should be quite trivial.