My experience with Lean 4 for general programmingquamserena.com6 points·quamserena··0 commentsOpen articleSaveView on HN