Hugging Face's logo

Spaces:
Snapkitty
/
formal-verification
Running

App Files Community
formal-verification / index.html

Commit History

24 days ago

  1. License badges: covenant (SL-AGPL3-001)

    SNAPKITTYWEST
    Verified signature
    1a849bb

26 days ago

  1. Add PIRTM (October 2026 drop)

    SNAPKITTYWEST
    Verified signature
    72e1148

27 days ago

  1. Add new October 2026 drop repositories

    SNAPKITTYWEST
    Verified signature
    fdd81d6

  2. Add unlambda-idris-spark (October 2026 main drop)

    SNAPKITTYWEST
    Verified signature
    c61626b

30 days ago

  1. Face-lift: unified clean design, refreshed repository listings

    SNAPKITTYWEST
    Verified signature
    694accc

  1. Initialize formal-verification category space

    SNAPKITTYWEST
    Verified signature
    5ca6b07

  2. initial commit

    SNAPKITTYWEST
    Verified signature
    221cdf3