Chase Norman
- Voting Theory in the Lean Theorem Prover
2021/10/16 by Wesley H. Holliday, Holliday, Wesley H., Chase Norman +3 · 1 citation
Computer Science · Economics, Econometrics and Finance · #03B70 #68V15 #91B12 #91B14 #FOS: Computer and information sciences #Game Theory and Voting Systems #I.2.3 #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems