Hugging Face's logo

Snapkitty
/
assertica

snapkitty
october-2026-drop
haskell
compiler
proof-language
formal-verification
Model card Files
xet
 Community
assertica / src /Assertica /Verify /ErrorReport.hs

Commit History

  1. October 2026 main drop: mirror from GitHub

    SNAPKITTYWEST
    Verified signature
    a10b189