Posts by Scott Morrison RSS feed 2023-09-08 15:58The first official release of Lean 4 2021-12-22 12:41Update on mathport (Dec 2021)