ai4math/__init__.py,sha256=s6hIKKnxALrEy0CJ8JXCW_jbdz683zoOfNU1pIi1_Ts,3754
ai4math/demo.py,sha256=oL01Xalc95eWNly9vgOd7-7jdy_FSe14-7h6sDCQ9Wc,7973
ai4math/pipeline.py,sha256=_mqKZyIQjtf30wkmmcwljZ49sc38oc5WIXrD9f-XjXc,9382
ai4math/py.typed,sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU,0
ai4math/answers/__init__.py,sha256=qYTbJ01sA1a7ULFXqxvqhhGMNrOFrXJmaPfu4zsxaq8,688
ai4math/answers/extract.py,sha256=dUkndN7H9N_KBsw02AIoWFAz3f4a0AwMMavySiEpYdI,10426
ai4math/answers/normalize.py,sha256=JffJi-cRD6Ba_jvB7H0H0-d4eXz0n5di5B4tWI-7CK0,8849
ai4math/datasets/__init__.py,sha256=eMFHuqKJu27WQBe_3Ow0mnVFoMSfbybGc3P4uuV0oJo,364
ai4math/datasets/loaders.py,sha256=NsPq5fzKgH36GHn6VfnkuQtGbLuZuwA4iwfE4FPzy7k,9716
ai4math/formal/__init__.py,sha256=LTdWbQynCi6gH3bk7cq3x9GlZbTcZWI3SFojHrsY3hU,1363
ai4math/formal/autoprove.py,sha256=FOSqlO-HG_iIx8Wa5uUYyPxG6cgDR9EDuI_e-j19VuA,10971
ai4math/formal/base.py,sha256=GC0GmMUoviI2ymgZ4v-wMOtDn8UZJcbGgTyROeVvAU0,3644
ai4math/formal/lean.py,sha256=klShZncbzAeH6kpf-mrxLjztd8qNPjO3khZDB6o-qeI,9687
ai4math/formal/lean_cli.py,sha256=izYQ4EP1zdEFSyYhwmntj5vWjh1Y2gheWk4s_fcvaZ0,9691
ai4math/metrics/__init__.py,sha256=LLRV3LCUn7jpa05oQH2J17AUEHZRfet1skw3I3r267E,327
ai4math/metrics/scoring.py,sha256=PxjzrMETdvVALaTY6JBnsVrmVtJwoD0ylw5cSJPL600,6789
ai4math/models/__init__.py,sha256=NaAnBHz5ikC49-do5MUmrIGARvH15_-Qh4jcuhw8QNA,430
ai4math/models/claude_cli.py,sha256=mwSTnMeVsIfpBBF3GUPOSsgHZGuo1j4d8u17NDu2kWE,6337
ai4math/prompts/__init__.py,sha256=-6FRUbH1kTAsFkmwAVzeENPiskR0S9Fcq8gbqLCPEjk,444
ai4math/prompts/templates.py,sha256=fSpJ82rNw2uu4sZgOvY2NBfWnmLd8pp26efOgCSmLKI,5978
ai4math/symbolic/__init__.py,sha256=b1A4abFWC3Xfs6f5Qf9xwnvfTlRoGKmbBs1JOr9qcLU,882
ai4math/symbolic/tools.py,sha256=0VC_G7rFddtNP66medzsw3gXDIdj9KT_A1MkZs0-oFg,12345
ai4math/verify/__init__.py,sha256=oQlRzpMib9D8vZFL_NZR2dWP1r7enQO_N-m-32OHrmA,416
ai4math/verify/equivalence.py,sha256=EhpCoN52FwxBEMNZWWbc2A85sduCPyUfb_eHcOPw25I,15815
ai4math-0.1.0.dist-info/METADATA,sha256=ZFKBh-NWZglSHzDFE0wqJiTCDCVexckt6_5FVgFN_X4,8682
ai4math-0.1.0.dist-info/WHEEL,sha256=zOwg4jB6zX2kU910N-cMawjivD6tO8NEWvE12je1bVk,87
ai4math-0.1.0.dist-info/licenses/LICENSE,sha256=MhMsh69TA-FocHUHo10g7Q-pHQZu5MQ1qYaKBTTDVxU,11338
ai4math-0.1.0.dist-info/RECORD,,
