leonv/nominalsets
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
No description
2 commits 1 branch 0 tags 56 KiB
  • Lean 100%
Find a file
Exact
Leon Vatthauer 579064947c
 remove .github
2026-06-05 17:11:28 +02:00
Nominaltheory work on implementing quotients 2026-06-04 12:58:15 +02:00
.gitignore work on implementing quotients 2026-06-04 12:58:15 +02:00
lake-manifest.json work on implementing quotients 2026-06-04 12:58:15 +02:00
lakefile.toml work on implementing quotients 2026-06-04 12:58:15 +02:00
lean-toolchain work on implementing quotients 2026-06-04 12:58:15 +02:00
Nominaltheory.lean work on implementing quotients 2026-06-04 12:58:15 +02:00
README.md work on implementing quotients 2026-06-04 12:58:15 +02:00

README.md

nominaltheory

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.