Lean4-Duper – Dataset by phanerozoic | AlphaNeural AI

You can deploy this model and start earning money today!

phanerozoic/
Lean4-Duper

like

0

text-generation

feature-extraction

theorem-proving

Views

No views yet

Lean4-Duper

Structured declarations from Duper - a proof-producing superposition theorem prover for Lean 4. Source: github.com/leanprover-community/duper

Source

Repository: https://github.com/leanprover-community/duper Commit: 3e56459ec9cc7a1b2f6465f5a4208564f9d9d9c3 Files: 133 License: apache-2.0

	Schema

Column Type Description

statement string Declaration signature/claim with the leading keyword removed (verbatim slice); the full… See the full description on the dataset page: https://huggingface.co/datasets/phanerozoic/Lean4-Duper.