☰
All Packages
Criteria
All Packages
Criteria
Readme
Versions (1)
Dependents (1)
lint-llm-proofs
0.1.0
Lean 4 linters for LLM-generated proof patterns
Displaying
1-1
of
1
packages depending on
jessealama/lint-llm-proofs
Sort by
Package Name
rupakm/leslie
uses
d1d57fb
1
20
lint-llm-proofs0.1.0lint-llm-proofs0.1.0