Directory of Science - All about Science

Wednesday, 21 November, 2018

search

for
Directories
 
 
 
 Recent Listings
  Journal of Aviation
  International Journal on Recent and Innovation Trends in Computing and Communication
  Cosmetology & Dermatology , 2018
  6th International Conference on Science, Engineering, Technology and Healthcare SETH-2018
  Zara Thomson
  World Congress on Nursing & Healthcare Management
  Innovative Biosystems and Bioengineering
  9th World Congress on Clinical Pharmacy and Pharmacy Practice
  4th International Forum on Nursing and Healthcare
  Universal Journal of Pharmaceutical 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