Tech
Show HN: A lean formalization of From Linearity to Borrowing
This is a full mechanization of the From Linearity to Borrowing paper in Lean https://dl.acm.org/doi/10.1145/3764117The work was almost entirely done by Claude over the…
Discussion (0)
No comments yet. Start the conversation!