Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Website
Tasks
HuggingChat
Collections
Languages
Organizations
Community
Blog
Posts
Daily Papers
Hardware
Learn
Discord
Forum
GitHub
Solutions
Team & Enterprise
Hugging Face PRO
Enterprise Support
Inference Providers
Inference Endpoints
Storage Buckets
Log In
Sign Up
Spaces:
Quantarion9
/
AQARION-ACADEMY
like
1
Running
on
Zero
App
Files
Files
Community
Fetching metadata from the HF Docker repository...
main
AQARION-ACADEMY
/
DOCS
/
LEAN
65 kB
Ctrl+K
Ctrl+K
1 contributor
History:
5 commits
Quantarion9
Create AQ-DEFECT-GRAPH_J30.LEAN
c9711b5
verified
1 day ago
AQ-DEFECT-GRAPH_J30.LEAN
Safe
2.89 kB
Create AQ-DEFECT-GRAPH_J30.LEAN
1 day ago
AQ_LEAN_RANK01A.LEAN
Safe
16.1 kB
Create AQ_LEAN_RANK01A.LEAN
2 days ago
J19-LEAN.PY
Safe
30.7 kB
Rename DOCS/LEAN/J19-FORMALIZATION.PY to DOCS/LEAN/J19-LEAN.PY
20 days ago
THM26_V22_5-lean.py
Safe
15.3 kB
Create THM26_V22_5-lean.py
20 days ago
