Functional Programming and Theorem Proving in Lean 4web.stanford.edu6 points·rck··0 commentsOpen articleSaveView on HN