Proofmood version 1.0 released. [Jun 6, 2012]
[Home of Proofmood]
Proofmood is a Computer Logic System that runs on web browsers. In Aug. 2009, the Truth Table and the Propositional Fitch proof system were first released. Two more web programs, Logic Tableau and First-order Fitch system were soon added to Proofmood. All these programs are being developed as tools for mathematical logic education.
- Until recently MSIE(Microsoft Internet Explorer) has been the only web browser that supports Proofmood, and there was no English edition. This version 1.0 now supports all major web-browsers and consists of Korean edition and English edtion.
- Among the 4 programs of Proofmood, Logic Tableau is not included in this version. We expect to release Logic Tableau that supports all major web-browsers sometime during the summer of 2012.
- Proofmood has been tested extensively on PC's with MS Windows. On Apple computers, Fitch(propositional and 1st-order) shows line numbers at wrong positions. (Bug fixed. Jun 8, 2012) For other platforms such as Linux, we have no experience at all. For mobiles, Proofmood doesn't work. IE7 or older is not supported, and thus IE users are advised to upgrade to IE8 or newer.
- Truth Table works on mobiles. (2012-6-10) Since we use the same old page layout, the use of Truth Table on smart phones will not be very satisfying. For Fitch(propositional and 1st-order), we still have a problem in entering the premise numbers. This is because mobile devices lack the right-click event. We are working on developing a workaround solution. Another serious problem with Fitch is its jerky window scroll.