Log 
Bank
SOME WEB SITES FOR AUTOMATED DEDUCTION
Mizar
- Online Mizar Processor
- Online Mizar-MSE
Compiler
- Mizar-MSE On Line Minnesota
-
- ACL2 Version 1.9
- Miz-tit
- MIZAR
- IMMD VIII -- Logische Grundlagen und
Wissensrepräsentation
- Course 73116, Mathematics for Algorithms,
Mizar MSE
-
- Directory of /pub/mizug
-
Directory of /pub/msdos/mizug
QED, etc
Deductio: interactive software for inference construction support.
By A.Nowodworsky and A.Smirnov. Moscow.
http://logic.radio-msu.net
E-mail alexey.smirnov@usa.net
- The Math-Assistant-Project
- Mechanized Reasoning
- CONTRIBUTIONS
- The World Wide Web Virtual Library: Formal Methods
- http://www.mcs.anl.gov/...bbins/press-release.txt
- Robbins Algebras Are Boolean
- Learning about QED
- Home Page of Robert S. Boyer
www.calculemus.org
LogBank Title Page