isadofschi / combinatorial_nullstellensatzLinks

A Lean formal proof of the Combinatorial Nullstellensatz
11Updated 2 years ago

Alternatives and similar repositories for combinatorial_nullstellensatz

Users that are interested in combinatorial_nullstellensatz are comparing it to the libraries listed below

Sorting: