Science Central - All about Science

Saturday, 21 November, 2009
Home  |  Submit Science Site  |  Add to Favorite  |  Contact

search
for
Directories
 
Category:  Science » Math » Logic and Foundations » Computational Logic UPDATE URL | REPORT BROKEN LINK

Kumo

 Popularity:    Hit: 323 | Visit: 14
Details
A web-based proof assistant. It assists with proofs in first order hidden logic, using OBJ3 as a reduction engine. The most important inference rules in first order logic and hidden equational logic are implemented, including induction and coinduction, generates proof documentation for the web, supports distributed cooperative proving.

Sponsored Links:


URL:
Title:
Description:

Category:


Related sites
Dual Identity Combinators (Popularity: ): Article by Katalin Bimbó presented at the 20th World Congress of Philosophy. Investigates the addition ...
Kolmogorov Complexity in Combinatory Logic (Popularity: ): Online article by John Tromp. Kolmogorov complexity is a recursion theoretic characterisation of randomness.
Lambda (Popularity: ): An online introduction to the lambda calculus by Lloyd Allison, complete with a web form ...
Perl Contains the Lambda-Calculus (Popularity: ): Explains why this computer program is well suited to apply to functional application.
Automated Reasoning (Popularity: ): Survey of automated deduction and theorem proving; from the Stanford Encyclopedia of Philosophy by Frederic ...
MetaPRL logical programming environment (Popularity: ): The next generation of the NuPrl proof development system. The main new features of MetaPRL ...
The LEGO Proof Assistant (Popularity: ): A powerful tool for interactive proof development in the natural deduction style. It supports refinement ...
Alfa (Popularity: ): A successor to the proof editor Alf with a graphical user interface, being developed at ...
NuPrl Proof Development System (Popularity: ): A powerful tactic-based proof assistant, developed over the last 15 years at Cornell University. IFeatures ...
Proof General (Popularity: ): Emacs based generic interface for theorem provers.

© 2005-2008 Science Central. All Rights Reserved

Home | Submit Science Site | Add to Favorite | Privacy | Contact