☰
All Packages
Criteria
All Packages
Criteria
Readme
Versions (1)
lint-llm-proofs
0.1.0
Lean 4 linters for LLM-generated proof patterns
Displaying
1-1
of
1
versions of
lint-llm-proofs
Sort by
Date
0.1
Version track: 0.1
0.1.0
a month ago
Released on January 8, 2026 at 1:37:22PM
Commit d1d57fb builds on its old leanprover/lean4:v4.26.0
v4.26.0
622.9 KB
Build archive size: 622904 bytes.
1
20