Directory of Science - All about Science

Tuesday, 21 May, 2019

search

for
Directories
 
 
 
 Recent Listings
  European World Heart Congress
  World Nursing Congress 2019
  World Congress on Cancer Science and Therapy
  International Journal of Trend in Scientific Research and Development
  World Congress on Nanotechnology
  Random42 Scientific Communication
  NeuroPharmac Journal
  Nanobiotechnology 2019
  Chemistry & Chemical Engineering Conference
  Diabetes World 2019
 
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