kamushekp/Metamath2Py
Links Github with source code: https://github.com/kamushekp/metamath2py Paper: https://github.com/kamushekp/metamath2py/blob/main/out/main.pdf Dataset Structure The Metamath2Py Dataset consists of the following components: 1. JSONL File on Hugging Face The dataset is provided as a JSONL file, where each line is a JSON object with the following fields: original_name: The original name of the statement in the Metamath system. name: The statement name… See the full description on the dataset page: https://huggingface.co/datasets/kamushekp/Metamath2Py.
Conversations for this repository live on Hugging Face.
CoolFace shows imported repositories read-only. Posting into someone else’s repository from here would need an authorised integration and the account holder’s consent, so the link goes to the source instead.
Open discussions on Hugging Face