Spaces:

Ray5th
/

Lean4-helper

Sleeping

App Files Files Community

77.4 MB

Ctrl+K

Ctrl+K

4 contributors

History: 54 commits

p4r5kpftnp-cmd

Minimalist UI pass: remove emojis and decorative chrome

6e69422 2 months ago

.github
Pin ruff to 0.15.14 and re-sort imports 3 months ago
data
Swap MiniLM retriever for LeanDojo's ByT5 premise encoder 2 months ago
problems
Add MiniF2F benchmark harness and improve proof agent robustness 3 months ago
public
Fix Vercel CI: serve static redirect page instead of Python function 3 months ago
scripts
Repo cleanup: dead code out, test isolation fix, real README 2 months ago
src
Repo cleanup: dead code out, test isolation fix, real README 2 months ago
tests
Repo cleanup: dead code out, test isolation fix, real README 2 months ago
.gitattributes

132 Bytes
Add pre-built Mathlib FAISS index (118,885 declarations) 3 months ago
.gitignore

177 Bytes
Add CI/CD: GitHub Actions workflow + ruff config 3 months ago
Dockerfile

780 Bytes
Remove Lean+Mathlib warmup step from Dockerfile 3 months ago
README.md

4.81 kB
Repo cleanup: dead code out, test isolation fix, real README 2 months ago
app.py

21.5 kB
Minimalist UI pass: remove emojis and decorative chrome 2 months ago
requirements.txt

183 Bytes
Add Claude API support (users supply their own key) 3 months ago
ruff.toml

535 Bytes
Add CI/CD: GitHub Actions workflow + ruff config 3 months ago
vercel.json

79 Bytes
Fix Vercel CI: serve static redirect page instead of Python function 3 months ago