Spaces:

Ray5th
/

Lean4-helper

Running

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 16 days ago

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

132 Bytes
Add pre-built Mathlib FAISS index (118,885 declarations) about 1 month ago
.gitignore

177 Bytes
Add CI/CD: GitHub Actions workflow + ruff config about 1 month ago
Dockerfile

780 Bytes
Remove Lean+Mathlib warmup step from Dockerfile about 1 month ago
README.md

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

21.5 kB
Minimalist UI pass: remove emojis and decorative chrome 16 days ago
requirements.txt

183 Bytes
Add Claude API support (users supply their own key) about 1 month ago
ruff.toml

535 Bytes
Add CI/CD: GitHub Actions workflow + ruff config about 1 month ago
vercel.json

79 Bytes
Fix Vercel CI: serve static redirect page instead of Python function about 1 month ago