Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Website
Tasks
HuggingChat
Collections
Languages
Organizations
Community
Blog
Posts
Daily Papers
Learn
Discord
Forum
GitHub
Solutions
Team & Enterprise
Hugging Face PRO
Enterprise Support
Inference Providers
Inference Endpoints
Storage Buckets
Log In
Sign Up
Spaces:
Ray5th
/
Lean4-helper
like
1
Running
App
Files
Files
Community
Fetching metadata from the HF Docker repository...
main
Lean4-helper
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
Safe
132 Bytes
Add pre-built Mathlib FAISS index (118,885 declarations)
about 1 month ago
.gitignore
Safe
177 Bytes
Add CI/CD: GitHub Actions workflow + ruff config
about 1 month ago
Dockerfile
Safe
780 Bytes
Remove Lean+Mathlib warmup step from Dockerfile
about 1 month ago
README.md
Safe
4.81 kB
Repo cleanup: dead code out, test isolation fix, real README
17 days ago
app.py
Safe
21.5 kB
Minimalist UI pass: remove emojis and decorative chrome
16 days ago
requirements.txt
Safe
183 Bytes
Add Claude API support (users supply their own key)
about 1 month ago
ruff.toml
Safe
535 Bytes
Add CI/CD: GitHub Actions workflow + ruff config
about 1 month ago
vercel.json
Safe
79 Bytes
Fix Vercel CI: serve static redirect page instead of Python function
about 1 month ago