Hugging Face's logo

Snapkitty
/
sovereign-qra

English
routing
formal-verification
lean4
zero-sorry
sovereign-ai
deterministic
snapkitty
machine-learning
verilog
haskell
cuda
Model card Files
xet
 Community
sovereign-qra / lean /WitnessStack.lean

Commit History

  1. push from SNAPKITTYWEST/sovereign-qra

    SNAPKITTYWEST
    Verified signature
    4659a86