Walpurgis night gave us 0.04.02

When we returned from the Blocksberg at Walpurgis night a small red mouse jumped out of our clothes. It ran in the direction of our mainframe computer and vanished. Later on we found a new software version at our CI server. We tested it and found a proof checker that can verify the integrity of simple formal proofs. Even a brute force proof finder for propositional logic was there. Because we didn't find any big flaws we made a new release. So now you can try out http://www.qedeq.org/0_04_02/ yourself. But be careful - one never knows what that small mouse has done exactly!

Posted by Michael Meyling 2011-05-01

Log in to post a comment.

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:





No, thanks