log

Chronological curation, scan verification, and symbolic proof log for geometor.casey.

Initial 3-Track Book Codex & Exact Symbolic Engine (v0.1.0)

Established geometor/casey as the Digital Scriptorium edition and exact symbolic modeling library for John Casey’s A Sequel to the First Six Books of the Elements of Euclid (5th ed. 1888 / 6th ed. ed. P. A. E. Dowling 1892):