@misc{george2026programming,
  author = {Robert Joseph George},
  title = {{Writing tensor programs in Lean}},
  year = {2026},
  howpublished = {TorchLean Verified Examples},
  url = {https://robertboy18.github.io/TorchLean-Verified-Examples/torchlean-tensor-programming/}
}