From Axioms to Algorithms: Mechanized Proofs of the vNM Utility Theorem

Open in new window