ALATCHA stands for Automated Lemma Assistant Training for Categorical and Homotopical Algebra. For more detail, see our proposal, which was written for a particular internal funding opportunity at the University of Nevada, Reno.
- 11 Aug. 2026. Some good news: the Lea project from the VIDA NYU group achieves a number, but not all, of the design goals we envisioned incorporating into ALATCHA.
- 29 June 2026. Our proposal for a catalyst grant from the University of Nevada, Reno was declined. We learned afterwards that the review panel consisted of members from the university faculty senate and staff, rather than external experts in the mathematical sciences.
- 6 May 2026. The video below is a demonstration of actual software providing an elementary functional proof-of-concept of ALATCHA. Developed by D. Farr and C. Rogers.