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