Directory of Science - All about Science

Wednesday, 21 February, 2018

search

for
Directories
 
 
 
 Recent Listings
  Annals of Medical Physiology
  International Journal of Innovations in Dental Sciences
  International Journal of Research in Advanced Technology
  Source One Solutions
  Science Access
  Microbioz Journals
  Bangladesh Journal of Infectious Diseases
  Angel Investor-VC Summit 2017, The Yale Club New York, May 4th
  26th World Cancer Convention
  5th International Conference on Current Trends in Mass Spectrometry and Chromatography
 
Category:  Science » Math » Logic and Foundations » Computational Logic SUGGEST CATEGORY  |  SUBMIT A SITE

Computational Logic

Order by  Popularity  |  Alphabet

Sites

Records 1-3 of 3
 



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 with tactics.

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 a certified program from the constructive proof of its formal ...

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.

 
Records 1-3 of 3

© 2015 Directory of Science. All Rights Reserved