[{"data":1,"prerenderedAt":4},["ShallowReactive",2],{"nQp1pECrsV":3},"\n# LeanGrowAlpha\n\n\nLeanGrow is a work-in-progress tactic for proof-search, similar to Aesop, Canonical and Grind.\nIt is currently not in a usable state.\nA short description of the approach it takes can be found in `Report.pdf`\n\n\n\n\nFunding statement: This project is being funded by the Berlin Mathematics Research Center MATH+, itself\nfunded by the German Research Foundation (DFG) under Germany’s Excellence Strategy (EXC-2046/1, project\nID 390685689), and the Mathematical Research Data Initiative from January 2024 to December 2025.",1780846776024]