Weekly TorchLean examples with checked Lean proofs, CUDA certificates, and reproducible ML verification demos.
Lean Updated 28 days ago 1 commits 1 stars
quark-coder|Mirror: Robertboy18/TorchLean-Verified-Examples (⭐1)
28 days agoAbout
Weekly TorchLean examples with checked Lean proofs, CUDA certificates, and reproducible ML verification demos.
Readme
1 stars