AgreeToDisagree0.1.0
Lean formalizations of the paper "We Can't Agree to Disagree, Formally: Aumann's Theorem and Assumption Accounting in Lean"
1-1 of 1 versions of AgreeToDisagree
Sort by
Date
- 0.1
0.1.0v4.28.01.6 MB
AgreeToDisagree0.1.00.1.0