3 ms·Has anyone started proving their sandboxes in Lean (or Coq, etc.)?by thomasahle 2mo agoHas anyone started proving their sandboxes in Lean (or Coq, etc.)?