Learn mathematical logic with Lean theorem proverleanprover.github.io4 points·VitalyAnkh··0 commentsOpen articleSaveView on HN