Encyclopedia > Isabelle theorem prover

  Article Content

Isabelle theorem prover

The Isabelle theorem prover an interactive theorem proving framework, a successor of HOL theorem prover.

External link

See also: theorem prover.



All Wikipedia text is available under the terms of the GNU Free Documentation License

 
  Search Encyclopedia

Search over one million articles, find something about almost anything!
 
 
  
  Featured Article
East Hampton North, New York

... is 82.46% White, 7.39% African American, 0.08% Native American, 1.62% Asian, 0.08% Pacific Islander, 5.94% from other races, and 2.43% from two or more races. 16.62% of ...

 
 
 
This page was created in 25.3 ms