2 ms·It's about formalization in Lean, not peer reviewby falcor84 9mo agoIt's about formalization in Lean, not peer review