[FOM] Thanks for feedback on Logiweb

Klaus Ebbe Grue grue at diku.dk
Thu Jul 12 19:04:34 EDT 2007

Thanks to the fom list for feedback on Logiweb. The feedback has improved 
the system.

Logiweb is now being released to a wider audience. I will not announce 
the system once more at this list. But you may still find it at 

You may find the beginning of a Mizar/Logiweb paper at

Propositional calculus, first order predicate calculus, and Peano 
arithmetic can be found at
(click PDF, go to page 8, and see Section 2.1, 2.2, and 2.3).


More information about the FOM mailing list