[FOM] System Announcement: ProofWeb

Freek Wiedijk freek at cs.ru.nl
Wed Nov 19 07:05:15 EST 2008

We are pleased to announce the availability of our ProofWeb
system for teaching logic and using proof assistants through
the web.  For details go to the ProofWeb home page at:


Cezary Kaliszyk
Dan Synek
Femke van Raamsdonk
Freek Wiedijk
Herman Geuvers
James McKinna

More information about the FOM mailing list