Commits

Branch selector

 main

User selector

All users

All time

Commit History

Commits on Aug 29, 2024

• removed comments

  hsz0403

  committed
  f15af66

  Copy full SHA for f15af66

Commits on Aug 20, 2024

• fixed by suggestions

  hsz0403

  committed
  41f6c1d

  Copy full SHA for 41f6c1d

Commits on Aug 18, 2024

• add requirements in README

  hsz0403

  committed
  8ceee30

  Copy full SHA for 8ceee30

Commits on Aug 16, 2024

• update_requirement

  hsz0403

  committed
  8dfb5ef

  Copy full SHA for 8dfb5ef

Commits on Aug 14, 2024

• fix_model_bugs

  hsz0403

  committed
  cd9284f

  Copy full SHA for cd9284f

• fix_bugs

  hsz0403

  committed
  26dcca1

  Copy full SHA for 26dcca1

Commits on Jul 15, 2024

• support gemini claude

  hsz0403

  committed
  db6974f

  Copy full SHA for db6974f

Commits on Jul 2, 2024

• fix prompt for internlm

  hsz0403

  committed
  5f24986

  Copy full SHA for 5f24986

Commits on Jul 1, 2024

• support external models: vllm huggingface openai

  hsz0403

  committed
  5ccf1c1

  Copy full SHA for 5ccf1c1

• Merge branch 'main' of https://github.com/lean-dojo/LeanCopilot

  Peiyang-Song

  committed
  91dbe27

  Copy full SHA for 91dbe27

• update readme

  Peiyang-Song

  committed
  b8780e2

  Copy full SHA for b8780e2

• Merge pull request #95 from lean-dojo/peiyang

  Show description for c2aff5e
  Peiyang-Song

  authored
  c2aff5e

  Copy full SHA for c2aff5e

• Merge branch 'main' of https://github.com/lean-dojo/LeanCopilot

  Peiyang-Song

  committed
  79407f8

  Copy full SHA for 79407f8

• minor fix for premise selection doc format

  Peiyang-Song

  committed
  43f8800

  Copy full SHA for 43f8800

• Merge pull request #94 from lean-dojo/peiyang

  Show description for b323172
  Peiyang-Song

  authored
  b323172

  Copy full SHA for b323172

• Merge branch 'main' of https://github.com/lean-dojo/LeanCopilot

  Peiyang-Song

  committed
  82fb300

  Copy full SHA for 82fb300

• minor

  Peiyang-Song

  committed
  e480ba1

  Copy full SHA for e480ba1

• Fix breaking changes in lake

  Peiyang-Song

  committed
  ddc0ba0

  Copy full SHA for ddc0ba0

• Bump to Lean v4.10.0-rc1 with dependencies

  Peiyang-Song

  committed
  b5cc5b6

  Copy full SHA for b5cc5b6

• Merge pull request #93 from lean-dojo/peiyang

  Show description for 9ee5cfa
  Peiyang-Song

  authored
  9ee5cfa

  Copy full SHA for 9ee5cfa

• Merge branch 'main' of https://github.com/lean-dojo/LeanCopilot

  Peiyang-Song

  committed
  97976bb

  Copy full SHA for 97976bb

• update readme

  Peiyang-Song

  committed
  a57ca15

  Copy full SHA for a57ca15

• Bump to Lean v4.9.0 (latest stable release)

  Peiyang-Song

  committed
  8c5d603

  Copy full SHA for 8c5d603

• Merge pull request #92 from lean-dojo/peiyang

  Show description for 96e3cbe
  Peiyang-Song

  authored
  96e3cbe

  Copy full SHA for 96e3cbe

• Fix minor bug: tokenizer typo in models.py

  Peiyang-Song

  committed
  646215e

  Copy full SHA for 646215e

Commits on Jun 24, 2024

• Update README.md

  Peiyang-Song

  authored
  7cd54f6

  Copy full SHA for 7cd54f6

• Merge pull request #89 from lean-dojo/4.9.0.3

  Show description for f2150ad
  Peiyang-Song

  authored
  f2150ad

  Copy full SHA for f2150ad

• Bump to Lean v4.9.0-rc3 with dependencies

  Peiyang-Song

  committed
  7af5421

  Copy full SHA for 7af5421

• Merge pull request #88 from lean-dojo/4.9.0.2

  Show description for ab4b447
  Peiyang-Song

  authored
  ab4b447

  Copy full SHA for ab4b447

• Bump to Lean v4.9.0-rc2 with dependencies

  Peiyang-Song

  committed
  a85cc2e

  Copy full SHA for a85cc2e

• Merge pull request #87 from lean-dojo/4.9.0.1

  Show description for 12b378b
  Peiyang-Song

  authored
  12b378b

  Copy full SHA for 12b378b

• Bump to Lean v4.9.0-rc1 with dependencies

  Peiyang-Song

  committed
  1b07be5

  Copy full SHA for 1b07be5

• Merge pull request #86 from lean-dojo/4.8.0

  Show description for 5126d27
  Peiyang-Song

  authored
  5126d27

  Copy full SHA for 5126d27

• Bump dependencies

  Peiyang-Song

  committed
  bc01066

  Copy full SHA for bc01066

• Bump to Lean v4.8.0

  Peiyang-Song

  committed
  aded59e

  Copy full SHA for aded59e