Proof Checker

Proof Editor Instructor Admin Proof Rules Help

Not authorized

You are not registered as an instructor. Contact your app administrator.

My Courses

Select a course from the list, or create a new one.

Problem Sets Students TAs

Add students

One email per line, or comma-separated.

Allow TAs to view solutions for this course

Enrolled students (0)

Add TA

New Course

Name

Description

Max students

New Problem Set

Name

Published (visible to students)

Available from

Due date (informational)

Until (hard cutoff)

Release solutions at

Time limit (minutes, blank = none)

Max attempts per problem (blank = unlimited)

Add Problem

Name

Logic type

Points (blank = ungraded)

Premises (comma-separated, e.g. P, P → Q)

Conclusion

Solution: