Show HN: A lean formalization of From Linearity to Borrowing

Show HN: A lean formalization of From Linearity to Borrowing offers a clear memory‑management model ideal for building safe systems libraries. Adopt it by revie