No results found

BooleanFunv0.1.0

Formalization project on analysis of Boolean functions in Lean 4, including a proof of Arrow's theorem via Fourier analysis.
#math
Sort by
  1. Registry dependency.
    Found on Reservoir.

    mathlibcbbe71d

    The math library of Lean 4