Lab for Automated Reasoning and Analysis LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

sav08:isabelle_theorem_prover [2008/02/18 16:42]
vkuncak created
sav08:isabelle_theorem_prover [2008/02/18 16:42] (current)
vkuncak
Line 3: Line 3:
   * [[http://​isabelle.in.tum.de/​|Isabelle Interactive Theorem Prover Web Site]]   * [[http://​isabelle.in.tum.de/​|Isabelle Interactive Theorem Prover Web Site]]
  
-In [[intro|SAV'​08]] we will use Isabelle for some exercises. ​ Moreover, [[Jahob system]] uses Isabelle formulas as the basis for its annotation language.+In [[intro|SAV'​08]] we will use Isabelle for some exercises. ​ Moreover, [[:Jahob system]] uses Isabelle formulas as the basis for its annotation language.
  
 
sav08/isabelle_theorem_prover.txt · Last modified: 2008/02/18 16:42 by vkuncak
 
© EPFL 2018 - Legal notice