Hugging Face's logo 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:
harry1911
/
proofprint
Sleeping

App Files Files Community
Fetching metadata from the HF Docker repository...
proofprint
62.4 kB
Ctrl+K
Ctrl+K
  • 1 contributor
History: 7 commits
HARSH SHUKLA
Fix Space import layout
8c64b80 about 1 month ago
  • core
    Initial ProofPrint hackathon prototype about 1 month ago
  • data
    Initial ProofPrint hackathon prototype about 1 month ago
  • docs
    Add Hugging Face Spaces deployment about 1 month ago
  • exports
    Initial ProofPrint hackathon prototype about 1 month ago
  • .dockerignore
    87 Bytes
    Add Hugging Face Spaces deployment about 1 month ago
  • .gitattributes
    1.52 kB
    Add Hugging Face attributes about 1 month ago
  • .gitignore
    82 Bytes
    Initial ProofPrint hackathon prototype about 1 month ago
  • Dockerfile
    488 Bytes
    Install zstd for Ollama setup about 1 month ago
  • README.md
    3.28 kB
    Fix Hugging Face Space metadata color about 1 month ago
  • app.py
    25.1 kB
    Fix Space import layout about 1 month ago
  • requirements.txt
    16 Bytes
    Initial ProofPrint hackathon prototype about 1 month ago
  • start.sh
    444 Bytes
    Add Hugging Face Spaces deployment about 1 month ago