Directory of Science - All about Science

Friday, 24 November, 2017

search

for
Directories
 
 
 
 Recent Listings
  International Journal of Trend in Scientific Research and Development
  Journal of Biological Sciences and Medicine
  World Congress on Nutrition and Obesity Prevention Source
  Journal of Applied Pharmaceutical Research
  The G6G Directory of Omics and Intelligent Software
  International Journal Of Applied Pharmaceutical and Biological Research
  World Pharma Conference 2017
  International Journal of Innovative Studies in Sciences and Engineering Technology (IJISSET)
  3rd Annual Kidney Congress
  Primary Antibodies
 
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