Skip to content

Formalization of the class number formula for quadratic fields

Notifications You must be signed in to change notification settings

Steven-Rossi/QuadraticClassNumber

Repository files navigation

QuadraticClassNumber

GitHub configuration

To set up your new GitHub repository, follow these steps:

  • Under your repository name, click Settings.
  • In the Actions section of the sidebar, click "General".
  • Check the box Allow GitHub Actions to create and approve pull requests.
  • Click the Pages section of the settings sidebar.
  • In the Source dropdown menu, select "GitHub Actions".

After following the steps above, you can remove this section from the README file.

About

Formalization of the class number formula for quadratic fields

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published