log

Chronological curation, transcription, and symbolic-verification log for geometor.klein.