A casual roundup of relatively recent papers that caught my eye and a very brief critique of one.
Posts for: #Lean
Why should you care about proof assistants?
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?
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.