{"id":340,"date":"2026-05-05T23:13:40","date_gmt":"2026-05-05T23:13:40","guid":{"rendered":"https:\/\/hoalg.net\/chrisrogers\/?page_id=340"},"modified":"2026-05-15T00:53:40","modified_gmt":"2026-05-15T00:53:40","slug":"alatcha-demo","status":"publish","type":"page","link":"https:\/\/hoalg.net\/chrisrogers\/alatcha-demo\/","title":{"rendered":"ALATCHA Demo"},"content":{"rendered":"\n<p><\/p>\n\n\n\n<p style=\"font-size:15px\">ALATCHA stands for &#8220;Automated Lemma Assistant Training for Categorical and Homotopical Algebra&#8221;.<br>This is a demonstration of a functional proof-of-concept.<br>Developed by <a href=\"https:\/\/dffarr.com\/\" data-type=\"link\" data-id=\"https:\/\/dffarr.com\/\">D. Farr<\/a> and <a href=\"https:\/\/hoalg.net\/chrisrogers\/\">C. Rogers<\/a>.<\/p>\n\n\n\n<figure class=\"wp-block-video alignwide alatcha-demo-video\"><video controls src=\"http:\/\/hoalg.net\/chrisrogers\/wp-content\/uploads\/2026\/05\/ALATCHA-Demo-annotated-v2.mp4\"><\/video><\/figure>\n","protected":false},"excerpt":{"rendered":"<p>ALATCHA stands for &#8220;Automated Lemma Assistant Training for Categorical and<span class=\"more-button\"><a href=\"https:\/\/hoalg.net\/chrisrogers\/alatcha-demo\/\" class=\"more-link\">Continue reading<span class=\"screen-reader-text\">ALATCHA Demo<\/span><\/a><\/span><\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"_links":{"self":[{"href":"https:\/\/hoalg.net\/chrisrogers\/wp-json\/wp\/v2\/pages\/340"}],"collection":[{"href":"https:\/\/hoalg.net\/chrisrogers\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/hoalg.net\/chrisrogers\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/hoalg.net\/chrisrogers\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/hoalg.net\/chrisrogers\/wp-json\/wp\/v2\/comments?post=340"}],"version-history":[{"count":6,"href":"https:\/\/hoalg.net\/chrisrogers\/wp-json\/wp\/v2\/pages\/340\/revisions"}],"predecessor-version":[{"id":355,"href":"https:\/\/hoalg.net\/chrisrogers\/wp-json\/wp\/v2\/pages\/340\/revisions\/355"}],"wp:attachment":[{"href":"https:\/\/hoalg.net\/chrisrogers\/wp-json\/wp\/v2\/media?parent=340"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}