Theorem Proving in Lean 4leanprover.github.io4 points·deterministic··0 commentsOpen articleSaveView on HN