Documentation
Primer
Manual
Introductory Tutorial on Checkable Proofs
Common Notions File
PracTeX Journal Paper
Writing and Checking Complete Proofs in TeX
Writing and Checking Complete Proofs in LaTeX
Logic and Set Theory Examples(.pdf)
Logic Paper (.pdf)
Grammar Description (.pdf)