Sensitivity Conjecture in Coq
Proved by Hao Huang
Work in progress... (13th Dec 2021)
main: files for the proof
rngl_alg: examples of algebras of the theory RingLike
Daniel de Rauglaudre
$ coqtop -v
The Coq Proof Assistant, version 8.20.0
compiled with OCaml 4.14.1