Lean4-LeanSAT – Dataset by phanerozoic | AlphaNeural AI

You can deploy this model and start earning money today!

phanerozoic/
Lean4-LeanSAT

like

0

text-generation

feature-extraction

theorem-proving

Views

No views yet

Lean4-LeanSAT

LeanSAT provides an interface and foundation for verified SAT reasoning in Lean 4. Now integrated into Lean 4 core as Std.Tactic.BVDecide.

Source

Repository: https://github.com/leanprover/leansat Commit: b83b5d8631ee54bc913b0e6aaf44711c34a50e0d Files: 305 License: apache-2.0

	Schema

Column Type Description

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