BooleanFun0.1.0
Formalization project on analysis of Boolean functions in Lean 4, including a proof of Arrow's theorem via Fourier analysis.
1-1 of 1 versions of BooleanFun
Sort by
Date
- 0.1
0.1.0v4.34.0-rc21.5 MB
BooleanFun0.1.00.1.0