Writing Tensor Programs in Lean · TorchLean Verified Examples

4 pointsposted 2 hours ago
by matt_d
(robertboy18.github.io)

No comments yet