Snapkitty
/

assertica

october-2026-drop

formal-verification

Model card Files Files and versions

assertica / test /Test /StdLib /Monomorphism.hs

Commit History

Oct 7

15:24
October 2026 main drop: mirror from GitHub

SNAPKITTYWEST

Verified signature
a10b189