Skip to the content.

Weil representations associated to finite fields

by Parisot Loris

Blueprint (web) Dependency graph Blueprint (pdf) Documentation GitHub

Useful links:

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

Weil_representations_associated_to_finite_fields is maintained by Parisot Loris. Visit the GitHub repository for more information.