ALATCHA Demo By chrisrogersmath ALATCHA stands for “Automated Lemma Assistant Training for Categorical and Homotopical Algebra”.This is a demonstration of a functional proof-of-concept.Developed by D. Farr and C. Rogers.