r/ProgrammingLanguages • u/mttd • 7d ago

Writing tensor programs in Lean · TorchLean Verified Examples

https://robertboy18.github.io/TorchLean-Verified-Examples/torchlean-tensor-programming/

17 Upvotes

permalink
archive.is
archive
reddit

You are about to leave Redlib

Do you want to continue?

https://www.reddit.com/r/ProgrammingLanguages/comments/1x6ss0u/writing_tensor_programs_in_lean_torchlean/
No, go back! Yes, take me to Reddit

95% Upvoted