Lean 4 Implementation of vNM Theorem
收藏arXiv2025-09-30 收录
下载链接：
https://github.com/jingyuanli-hk/vNM-Theorem-pub
下载链接
链接失效反馈官方服务：
资源简介：
该数据集包含了实现冯·诺伊曼-摩根斯坦预期效用定理的Lean 4形式化代码，重点在于验证理性选择公理。此外，该代码支持与特定偏好结构直接计算，并包含了满足理性选择公理的验证算法。该任务旨在计算验证公理以及基于效用的偏好。
提供机构：
Jingyuan Li and collaborators
