Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
sav08:tools_demo [2008/02/21 23:00] piskac |
sav08:tools_demo [2008/02/21 23:00] piskac |
||
|---|---|---|---|
| Line 96: | Line 96: | ||
| The theorem provers that formDecider invokes are: | The theorem provers that formDecider invokes are: | ||
| * e = [[http://www.eprover.org/|E theorem prover]] | * e = [[http://www.eprover.org/|E theorem prover]] | ||
| - | * vampire = [[http://en.wikipedia.org/wiki/Vampire_theorem_prover\Vampire theorem prover]] | + | * vampire = [[http://en.wikipedia.org/wiki/Vampire_theorem_prover|Vampire theorem prover]] |
| * cvcl = | * cvcl = | ||