Our intention with Mimir is for it to generate proofs similar to this screenshot of a proof for sentential logic given premises and a conclusion.
Mimir
An automated theorem prover specialized for propositional logic.
An automated theorem prover specialized for propositional logic.
Our intention with Mimir is for it to generate proofs similar to this screenshot of a proof for sentential logic given premises and a conclusion.
Log in or sign up for Devpost to join the conversation.