Proof assistants and the future of math
Are proof assistants the next breakthrough in mathematics? This is a question I have been thinking about since I tried the Lean proof assistant. I have tried proof assistants before, but Lean feels like it’s on another level. For one, I actually wrote a natural deduction proof in it. I can easily imagine it being […]