lean_refine/__init__.py,sha256=kUR5RAFc7HCeiqdlX36dZOHkUI5wI6V_43RpEcD8b-0,22
lean_refine/cli.py,sha256=W1V3XSQNRngnLlpO0NL5bz_NYqKQcDeylkuV7npL8K0,2449
lean_refine/prompts/analyze.md,sha256=1vYPsryLY_7qFDZILhAqq7ItyPO9lCj_cHDLfO7VR4o,8294
lean_refine/prompts/formalize.md,sha256=NW26eDpl6VE7UX2u94ICQAwe7jPC4ap73bBbBGEf6pg,4204
lean_refine/prompts/loop.md,sha256=CkrQHgdckydi9rnA19_yJsvzLTgEV4QrtRW4UcLu3Yw,9987
lean_refine/prompts/metric.md,sha256=1GZJtPItTkgz8Rq-pEpWN_7LK-af2enZqSm8OYWKHsA,10252
lean_refine/prompts/protocol.md,sha256=FEXrtmnQZM8xjf_uXfEfnFJJAQuf7adiLqUQE2b_JMU,3384
lean_refine-0.1.0.dist-info/METADATA,sha256=sen_9-P6LJyW-Xc3qh6ALTjdezZAX07JZTgnWyGfl1Y,4966
lean_refine-0.1.0.dist-info/WHEEL,sha256=QccIxa26bgl1E6uMy58deGWi-0aeIkkangHcxk2kWfw,87
lean_refine-0.1.0.dist-info/entry_points.txt,sha256=NjB2ElPIBeHWLxhwuv_kOCmNhoiMBWXrmLRb4A0vJKc,48
lean_refine-0.1.0.dist-info/licenses/LICENSE,sha256=2PqQocGI-U4CnMQD8BelDVf71bqlfxZ7Ft0CQ2aE_oo,1067
lean_refine-0.1.0.dist-info/RECORD,,
