David
Preferences:- Formula Rendering Style:
- Prover Limits: 32
The Assertions which you have created: The Subjects for which you have created definitions: The assertions which create Subject Equivalence Sets: Your Belief History, explicit acceptances or rejections of assertions: Your Documents: