# Talk:Short theorem prover

### From HaskellWiki

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)

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)