P proofsandintuitions.net Verifying Move Borrow Checker in Lean:An Experiment in AI-Assisted PL Metatheory 4 points matt_d 7 months ago 1 comments
