Directory of Science - All about Science

Tuesday, 26 September, 2017

search

for
Directories
 
 
 
 Recent Listings
  International Pharmaceutical Conference and Expo
  Macedonian Journal of Ecology and Environment
  Journal of Signal Processing and Wireless Networks
  Port Moody Dentist | Inspire Dental Port Moody Group
  Open Access International Journal of Science & Engineering(OAIJSE)
  Eurasian Journal of Forest Science
  2nd International conference on Latest Trends in Biotechnology and Biodiversity
  INTERNATIONAL CONFERENCE ON ADVANCES IN MECHANICAL ENGINEERING SCIENCES
  International Journal of Current Trends in Engineering and Technology
  International Journal of Medical and Exercise Science
 
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