Wheelodex » Projects » autoformalism-with-llms

autoformalism-with-llms

View on PyPI — Reverse Dependencies (0)

0.0.1 autoformalism_with_llms-0.0.1-py3-none-any.whl

Wheel Details

Project: autoformalism-with-llms
Version: 0.0.1
Filename: autoformalism_with_llms-0.0.1-py3-none-any.whl
Download: [link]
Size: 8171
MD5: da4f18b1d8bf24c18b360a77586df1a4
SHA256: 5e0259a7f28b6c8bd128b55cafa3a3d5acebfc77907acd5e03573061c8fec353
Uploaded: 2024-04-23 21:20:38 +0000

dist-info

METADATA · WHEEL · RECORD

METADATA

Metadata-Version: 2.3
Name: autoformalism-with-llms
Version: 0.0.1
Author-Email: Mike Vaiana <mikevaiana[at]gmail.com>
Project-Url: Documentation, https://github.com/unknown/autoformalism-with-llms#readme
Project-Url: Issues, https://github.com/unknown/autoformalism-with-llms/issues
Project-Url: Source, https://github.com/unknown/autoformalism-with-llms
Classifier: Development Status :: 4 - Beta
Classifier: Programming Language :: Python
Classifier: Programming Language :: Python :: 3.8
Classifier: Programming Language :: Python :: 3.9
Classifier: Programming Language :: Python :: 3.10
Classifier: Programming Language :: Python :: 3.11
Classifier: Programming Language :: Python :: 3.12
Classifier: Programming Language :: Python :: Implementation :: CPython
Classifier: Programming Language :: Python :: Implementation :: PyPy
Requires-Python: >=3.8
Requires-Dist: gitpython
Requires-Dist: nltk
Requires-Dist: openai
Requires-Dist: pydantic-settings
Requires-Dist: python-dotenv
Requires-Dist: requests
Requires-Dist: tqdm
Requires-Dist: tyro
Description-Content-Type: text/markdown
License-Expression: MIT
License-File: LICENSE.txt
[Description omitted; length: 583 characters]

WHEEL

Wheel-Version: 1.0
Generator: hatchling 1.24.2
Root-Is-Purelib: true
Tag: py3-none-any

RECORD

Path Digest Size
autoformalism_with_llms/__about__.py sha256=MAxAv_w7FhGQ4-IgalDEulZTZ4qU0aD1zBC5yraVRRY 129
autoformalism_with_llms/__init__.py sha256=pXLI-lTrxsFAUAnBfMxVOKKJk1UumrvBOHcKjbDUVGY 107
autoformalism_with_llms/config.py sha256=4hlcGSBS1PkQT_VVt9cFrRTPxgZm684z_FI7p6jvP5s 206
autoformalism_with_llms/dataset.py sha256=Zk9J3hfzT9gJmVD-FwTdaFQksLFnYsWvRHLuPzdzYMg 12106
autoformalism_with_llms/prompt.py sha256=hrSsWN7-NoRrfU8S5JGYM5QSgS9OeDzVMA3LLc5Qn9U 5289
autoformalism_with_llms-0.0.1.dist-info/METADATA sha256=kBbrlaBQatQvJznEULpefFBk_AeqizP134Rb7IroHo0 1723
autoformalism_with_llms-0.0.1.dist-info/WHEEL sha256=zEMcRr9Kr03x1ozGwg5v9NQBKn3kndp6LSoSlVg-jhU 87
autoformalism_with_llms-0.0.1.dist-info/licenses/LICENSE.txt sha256=2QqS0dk3VnulGm-ZBmrUtmPaa3s0zuDJ9Lexn2emG8s 1099
autoformalism_with_llms-0.0.1.dist-info/RECORD — —