Commit History

  1. Fix Space import layout

    HARSH SHUKLA
    8c64b80
  2. Install zstd for Ollama setup

    HARSH SHUKLA
    8c58d31
  3. Fix Hugging Face Space metadata color

    HARSH SHUKLA
    36f7f3d
  4. Add Hugging Face Space metadata

    HARSH SHUKLA
    e0dd347
  5. Add Hugging Face attributes

    HARSH SHUKLA
    2b6d0ca
  6. Add Hugging Face Spaces deployment

    HARSH SHUKLA
    a835c0a
  7. Initial ProofPrint hackathon prototype

    HARSH SHUKLA
    5cabf52