No results found

LeanCopilot

LLMs as Copilots for Theorem Proving in Lean
#llm-inference #machine-learning #theorem-proving #formal-mathematics
Displaying 1-2 of 2 packages depending on lean-dojo/LeanCopilot
Sort by

  1. alok/lean-infusesv1.4.1

  2. jeswr/RustFFIusesv1.1.1

    An RDF Library for Lean4