Private review
Your axioms
Amendments are changes to your axioms you haven't published. Adopt adds a claim, Reject adds its negation, and Drop removes a direct axiom from your next snapshot.
These amendments live in this browser only. Sign in to save them to your account.