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:
lzumot
/
lean-prover-validator
like
1
Sleeping
App
Files
Files
Community
Fetching metadata from the HF Docker repository...
main
lean-prover-validator
Commit History
2026-01-27
61d4c6d
LamZain
commited on
Jan 27
2026-01-27
2437981
LamZain
commited on
Jan 27
2026-01-27
f19e93e
LamZain
commited on
Jan 27
2026-01-27
b405332
LamZain
commited on
Jan 27
2026-01-27
1d793f8
LamZain
commited on
Jan 27
2026-01-27
aee0461
LamZain
commited on
Jan 27
2026-01-27 test2
4aec2db
LamZain
commited on
Jan 27
2026-01-27 test2
a8c9cd2
LamZain
commited on
Jan 27
2026-01-26 test2
937f4fc
LamZain
commited on
Jan 26
2026-01-26 test1
8953a7a
LamZain
commited on
Jan 26
2026-01-26 test1
7e6cbc7
LamZain
commited on
Jan 26
2026-01-26 test1
8d2d20f
LamZain
commited on
Jan 26
2026-01-26 test1
a5b2a51
LamZain
commited on
Jan 26
2026-01-26 test1
70b9705
LamZain
commited on
Jan 26
2026-01-26 test1
d158641
LamZain
commited on
Jan 26
2026-01-26 test1
7dacf95
LamZain
commited on
Jan 26
2026-01-26 test1
3d52ca6
LamZain
commited on
Jan 26
2026-01-26 test1
34d7ab3
LamZain
commited on
Jan 26
2026-01-26 test1
cdd234b
LamZain
commited on
Jan 26
2026-01-26 test1
a476b57
LamZain
commited on
Jan 26
test
dc0a83a
LamZain
commited on
Jan 26
initial commit
d89ca85
verified
lzumot
commited on
Jan 26