Verifying Move Borrow Checker in Lean:An Experiment in AI-Assisted PL Metatheory

(proofsandintuitions.net) by matt_d | Mar 18, 2026 | 0 comments on HN