Difference between revisions of "Talk:Short theorem prover"
Jump to navigation
Jump to search
m (request for examples) |
(No difference)
|
Latest revision as of 13:27, 23 December 2006
i would appreciate a small example of a few input/output pairs, so i know how to use it...--Johannes Ahlmann 13:27, 23 December 2006 (UTC)