Published April 10, 2024 | Version pldi24AE
Software Open

LGTM: the Logic for Graceful Tensor Manipulation

  • 1. ROR icon National University of Singapore
  • 2. Massachusetts Institute of Technology


This is the research artefact for the paper Mechanised Hypersafety Proofs about Structured Data to appear in the proceedings of the 45th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2024). Please see the file inside the zip archive for detailed instructions.


Files (389.1 kB)

Name Size Download all
389.1 kB Preview Download

Additional details

Related works