| Isabelle Theorem Prover |
Article Index for Isabelle |
Shopping Prover |
Website Links For Isabelle |
Information AboutIsabelle Theorem Prover |
| CATEGORIES ABOUT ISABELLE THEOREM PROVER | |
| formal methods | |
| logic in computer science | |
| theorem provers | |
| free theorem provers | |
|
Isabelle theorem prover is Free Software , released under the revised BSD License . EXAMPLE TAKEN FROM A THEORY FILE
| ||
| Lemma "n:Ev | => n+n : Ev" 2n is even if n is even |
|
|