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!
Log in to post a comment.