|
This is the first version of Calculemus that was ever uploaded. It's more of a logic calculator than the newer version(s). It has quite a few issues as an argument mapper, but it's a fine logic calculator for verifying a quick, small proof.
Try it! How-to Screenshots |