Hugging Face's logo

Snapkitty
/
tlm-jxcl

Rust
defective-component
security-advisory
snapkitty
quantum-computing
vhdl
Model card Files
xet
 Community
tlm-jxcl / lean4

Commit History

22 days ago

  1. Sync with GitHub, license metadata from LICENSE files, commercial license notice⁠

    SNAPKITTYWEST
    Verified signature
    6e9bd63