Natural deduction step by step
Follow a proof from start to finish, with the strategy that explains each line.
No proof yet
Pick an example or write a sequent to see its proof step by step.
Follow a proof from start to finish, with the strategy that explains each line.
Pick an example or write a sequent to see its proof step by step.