On software for reasoning
A list of provers, checkers, etc
(names, short descriptions, addresses, tutorials, other comments).
The list is not very recent but, hopefully, not without a use. Additions and
updatings - welcome! Send them to:
witmar@calculemus.org
THE SOFTWARE YOU CAN DOWNLOAD
This resource involves the system MIZAR-MSE created at the University in
Bialystok, Poland, and developed in some other places, esp. University of
Alberta, Canada. Hence the two versions listed below. Other pieces of
software for reasoning, alternative to Mizar, are expected.
Bank