Directory of Science - All about Science

Thursday, 20 September, 2018

search

for
Directories
 
 
 
 Recent Listings
  Diabetes and Endocrinology
  Shirley Brey
  12th Edition of International Conference on Infectious Diseases
  IJIERT - International Journal of Innovation In Engineering, Research and Technology
  Euro Summit on Toxicology and Pharmacology
  Diabetes and Endocrinology 2019
  International Meeting on Nutraceuticals
  7th International Conference on Nutrition,Food Science and Technology
  Global Academic Digital Library
  International Journal of Advanced Microbiology and Health Research (IJAMHR)
 
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