No description
|
|
||
|---|---|---|
| .github/workflows | Initial commit | |
| BfUndecidable | Some templates | |
| from-lecture | Some templates | |
| .gitignore | Initial commit | |
| BfUndecidable.lean | Initial commit | |
| lake-manifest.json | Initial commit | |
| lakefile.toml | Initial commit | |
| lean-toolchain | Initial commit | |
| README.md | Initial commit | |
bf-undecidable
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.