AgreeToDisagree0.1.0
Lean formalizations of the paper "We Can't Agree to Disagree, Formally: Aumann's Theorem and Assumption Accounting in Lean"
Sort by
Require Order
mathlib
v4.28.0The math library of Lean 4
AgreeToDisagree0.1.0v4.28.0