Skip to content

vyorkin/tpil4

Repository files navigation

tpil4

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

Working through Theorem proving in Lean 4

Resources

License

Stars

Watchers

Forks

Packages

No packages published

Languages