This repository contains an ongoing formalization of the Hasse-Minkowski theorem in Lean, one of the collaborative projects from the Women in Numbers 7 workshop.
Project leaders:
Project members:
- Mallory Dolorfino
- Kate Finnerty
- Cathy Hsu
- Chi-Yun Hsu
Ensure that you have a functioning Lean 4 installation. If you do not, please follow the Lean installation guide.
To clone this repository to your local machine, please refer to the relevant section of the GitHub documentation here.
Unless otherwise agreed, this project will only accept contributions from the team members listed above. We will follow a simplified version of the instructions for contributing to Mathlib. In particular, we will try to comply with Mathlib's style guide, naming conventions and documentation guidelines.
This repository was created using the LeanProject template.
For more details about the LeanBlueprint package and its commands, please refer to its documentation.