Directory of Science - All about Science

Sunday, 22 July, 2018

search

for
Directories
 
 
 
 Recent Listings
  Global Academic Digital Library
  International Journal of Advanced Microbiology and Health Research (IJAMHR)
  Advances in Neonatal and Pediatric Nutrition
  Journal of Integrated Health Sciences
  Spring Drmatology Conference 2018
  Nanomedicine and Nanobiotechnology 2018
  Breast Cancer 2018 Congress
  Cosmetology Meeting-2018
  Neurology 2018 (CPD Accredited)
  International Conference on Internal Medicine
 
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