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:
rycerzes
/
qed-math-openenv
like
0
Sleeping
App
Files
Files
Community
Fetching metadata from the HF Docker repository...
main
qed-math-openenv
/
server
86.6 kB
Ctrl+K
Ctrl+K
4 contributors
History:
15 commits
sourasishbasu
feat: add browser UI at / for QED Math environment
2743bb8
3 months ago
__init__.py
Safe
134 Bytes
add .gitattributes and normalize line endings to LF
3 months ago
app.py
Safe
1.29 kB
feat: add browser UI at / for QED Math environment
3 months ago
math_verify_service.py
Safe
14.5 kB
add .gitattributes and normalize line endings to LF
3 months ago
mcp_server.py
Safe
1.42 kB
dataset spec overrides and task-id tool
3 months ago
qed_math_environment.py
Safe
43.6 kB
fix ruff lint errors in qed_math_environment.py
3 months ago
rubric.py
Safe
12.1 kB
add .gitattributes and normalize line endings to LF
3 months ago
ui.html
Safe
13.5 kB
feat: add browser UI at / for QED Math environment
3 months ago
