Home Submit URL Add to Favorite Contact
           17 July, 2019
 
    
Category:  Science »  Math »  Logic and Foundations »  Computational Logic SUBMIT A SITE | Suggest A Category |  Search Category

Computational Logic

Records 1-3 of 3
Order by  Date Added  |  Popularity  |  Alphabet
Isabelle (Popularity: )
http://isabelle.informatik.tu-muenchen.de/
Homepage of the theorem prover environment developed by Larry Paulson at Cambridge University and Tobias Kipkow at TU Munich.

The HOL Theorem Proving System (Popularity: )
http://hol.sourceforge.net/
The system documented originated at the Laboratory for Applied Logic of Brigham Young University and features higher-order, classical, natural deduction ...

The Coq proof assistant (Popularity: )
http://coq.inria.fr/
Allows the user to handle calculus assertions, to check mechanically proofs of these assertions, helps to find formal proofs, extracts ...