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.16.0-rc21.2 MB
BooleanFun0.1.00.1.0