Directory of Science - All about Science

Thursday, 24 May, 2018

search

for
Directories
 
 
 
 Recent Listings
  International Journal of Agriculture, Environment and Bioresearch
  International Women s Health, Gynecology & Obstetrics Conference
  Journal of Nuclear Physics, Material Sciences, Radiation and Applications
  Pharma Conference (Global Pharma Meet and Expo 2018)
  4th World Congress on Cancer and Prevention Methods
  International Research Journal of Pure Algebra
  Clinical Cardiology, 2018 (CPD accredited)
  Global Experts Meeting On Toxicology
  Indian Journal of Psychiatric Social Work
  International Journal of Economics, Business and Management Research
 
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