Lean 4 Proof Checker avatar

Lean 4 Proof Checker

Pricing

Pay per event

Go to Apify Store
Lean 4 Proof Checker

Lean 4 Proof Checker

Checks a Lean 4 proof with Lean's own kernel and says whether the named theorem is proved, with no sorry and no extra axioms. Core Lean (Init and Std), no Mathlib. For AI agents that write proofs.

Pricing

Pay per event

Rating

0.0

(0)

Developer

D. Michael Piscitelli

D. Michael Piscitelli

Maintained by Community

Actor stats

1

Bookmarked

2

Total users

1

Monthly active users

19 days ago

Last modified

Share