log

Chronological curation, bilingual transcription, and symbolic verification log for geometor.poincare.