This is the Truth Machine (beta). See below for instructional video. If you're looking for the Proof Machine, go here.

Truth Machine (beta)

Note: this mode understands "=", "<", ">", and short-form predicates, but no quantifiers.

Mode






Messages

Instructions: How to use the Truth Machine