Directory of Science - All about Science

Saturday, 23 March, 2019

search

for
Directories
 
 
 
 Recent Listings
  The North African Journal of Food and Nutrition Research
  International Journal of Business Marketing and Management
  International Journal of Innovative Works in Engineering and Technology
  Revista Scientific
  Sustainable Resources Management Journal
  International Journal of Engineering Science, Advanced Computing and Bio-Technology
  Open Access International Journal of Science& Engineering (OAIJSE)
  Macaw International Journal of advanced Research in Computer Science and Engineering (MIJARCSE)
  International Journal of Advance Scientific Research and Engineering Trends (IJASRET).
  Environmental Science Congress
 
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