Skip to the content.

Dirichlet Nonvanishing

by Chris Birkbeck and David Loeffler and Michael Stoll

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

DirichletNonvanishing is maintained by Chris Birkbeck, David Loeffler and Michael Stoll. Visit the GitHub repository for more information.