lean-dojoLeanCopilot

LLMs as Copilots for Theorem Proving in Lean
Displaying 1-2 of 2 packages depending on lean-dojo/LeanCopilot
Sort by

  1. alok/lean-infusesv1.4.1

    Levi-Civita field implementation in Lean 4 for computing with infinities and infinitesimals.

  2. jeswr/RustFFIusesv1.1.1

    An RDF Library for Lean4