Snapkitty
/

tlm-jxcl

defective-component

security-advisory

quantum-computing

Model card Files Files and versions

tlm-jxcl / lean4 /P3QInterface.lean

Commit History

Oct 7 13 days ago

16:25
Sync with GitHub, license metadata from LICENSE files, commercial license notice⁠

SNAPKITTYWEST

Verified signature
6e9bd63