Skip to the content.

FinEqs

Reducing the number of equations defining a subset of the $n$-space over a finite field (arXiv:1906.11174)

Blueprint (web) Blueprint (pdf) Documentation GitHub

Useful links:

Zulip chat for Lean for coordination
Blueprint
Blueprint as pdf
Dependency graph
Doc pages for this repository

fineqs is maintained by Pietro Monticone. Visit the GitHub repository for more information.