No results found

LeanCopilot

LLMs as Copilots for Theorem Proving in Lean
#llm-inference #machine-learning #theorem-proving #formal-mathematics
Sort by
  1. Git dependency.
    Found on Reservoir.

    batteriesv4.11.0

    The "batteries included" extended library for the Lean programming language and theorem prover
  2. Git dependency.
    Found on Reservoir.

    aesopv4.11.0

    White-box automation for Lean 4