Directory of Science - All about Science

Tuesday, 22 January, 2019

search

for
Directories
 
 
 
 Recent Listings
  Annual European Dental Summit
  Nanoforum 2019
  Nanotech 2019
  Journal of Applied Pharmaceutical Sciences and Research
  Sita Ram & Sons
  The Anatolian Journal of Family Medicine
  Clinical Research and Clinical Trials
  Global meet on dentistry and oral Health
  Journal of Agriculture and Natural Resources
  Jurnal Optimasi Sistem Industri
 
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