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