A proof assistant is a tool that guides you through the process of constructing and verifying formal proofs, step by step. But when is that actually useful? And why might you start hearing more about proof assistants in the future?
Posts for: #Lean
Some papers I liked
A casual roundup of research papers from last four months that caught my eye.
May’s theorem
May’s theorem states that majority rule is the only reasonable voting system for two candidates. Although majority rule is quite intuitive, it is surprising that among the infinite number of functions, there is only one that meets a few basic assumptions.