jessealamalint-llm-proofs0.1.0

Lean 4 linters for LLM-generated proof patterns
Displaying 1-1 of 1 versions of lint-llm-proofs
Sort by
  1. 0.1Version 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.