Skip to the content.
Hasse Principle
by Nirvana Coppola, María Inés de Frutos-Fernández, Mallory Dolorfino, Kate Finnerty, Catherine Hsu and Chi-Yun Hsu
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