Drexel dragonThe Math ForumDonate to the Math Forum

The Math Forum Internet Mathematics Library

Kumo

_____________________________________
Library Home || Full Table of Contents || Suggest a Link || Library Help
_____________________________________

Visit this site: http://www.cs.ucsd.edu/groups/tatami/kumo/
Author:Joseph Goguen et al.; University of California at San Diego.
Description: A Web-based proof assistant that 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. Kumo generates proof documentation for the Web and supports distributed cooperative proving.
Levels: College
Languages: English
Resource Types: Topic Tools Miscellaneous, Web Interactive/Java
Math Topics: Logic/Foundations

[Privacy Policy] [Terms of Use]

_____________________________________
Home || The Math Library || Quick Reference || Search || Help
_____________________________________

© 1994-2013 Drexel University. All rights reserved.
http://mathforum.org/
 The Math Forum is a research and educational enterprise of the Goodwin College of Professional Studies.The Math Forum is a research and educational enterprise of the Drexel University School of Education.