Lean Copilot Activity

LLMs as Copilots for Theorem Proving in Lean

SourceForge Open Source Mirror Directory

• Summary
• Files
• Reviews

Activity for Lean Copilot

• 1 year ago

  Lean Copilot released /v4.17.0/v4.17.0 source code.zip

• 1 year ago

  Lean Copilot released /v4.17.0/v4.17.0 source code.tar.gz

• 1 year ago

  Lean Copilot released /v4.17.0/README.md

<< < 1 2

✕