pasv icon indicating copy to clipboard operation
pasv copied to clipboard

Published 20 hours ago • verified publisher icon John-Nagle

Rules don't fire in prover in CPC4

Open John-Nagle opened this issue 7 years ago • 0 comments

Rules are not firing. Don't know why. The built in provers (logic, arithmetic, etc.) work, but the rule system doesn't.

John-Nagle avatar Oct 26 '17 21:10 John-Nagle