OKullmann/oklibrary — pull request #339 by MGwynne (2012-01-19 10:07:16+00:00)
Title: Anf formulas

Branch: anf_formulas.

Starting todos and conjectures based on our e-mails regarding boolean polynomials / ANF formulas.

Matthew