Directory of Science - All about Science

Sunday, 21 July, 2019

search

for
Directories
 
 
 
 Recent Listings
  GENETICS & GENE THERAPY 2019
  Mary Smith
  Aquaculture Conferences
  Renewable Energy & Emerging Technologies
  World Congress on Breast Cancer and Women’s Health
  International Journal of Modern Research in Engineering and Technology
  Materials Science & Engineering Conference 2019
  Nursing 2020
  Materials Conferences
  Frontiers in Polymer Chemistry and Biopolymers
 
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