Hugging Face's logo

Snapkitty
/
ai-free

snapkitty
october-2026-drop
lean4
forth
bcpl
wolfram
compiler
formal-verification
riscv
arm64
Model card Files
xet
 Community
ai-free / backend /x86_64 /X86 /SimStack.lean

Commit History

22 days ago

  1. October 2026 main drop: mirror from GitHub

    SNAPKITTYWEST
    Verified signature
    f5deffb