Published October 24, 2024 | Version v0.2.19
Conference paper Open

Pantograph: A Machine-to-Machine Interaction Interface for Advanced Theorem Proving, High Level Reasoning, and Data Extraction in Lean 4

Authors/Creators

  • 1. ROR icon Stanford University

Contributors

Supervisor:

  • 1. Stanford University

Description

Artefacts for this paper

Files

artefact.zip

Files (8.9 GB)

Name Size Download all
md5:3c58c6778c4b952c6f28efed2f7eb193
8.9 GB Preview Download

Additional details

Related works

Is supplement to
Conference paper: arXiv:2410.16429 (arXiv)

Dates

Submitted
2024-10-24

Software

Repository URL
https://github.com/lenianiva/PyPantograph
Programming language
Lean , Python
Development Status
Active