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.
(Please read and support the Leiden Declaration on Artificial Intelligence and Mathematics.)