Stefan Kebekus 509573e09c
Lean Action CI / build (push) Has been cancelled
Update Basic.lean
2026-05-20 10:02:09 +02:00
2025-10-25 06:58:12 +02:00
2026-05-20 10:02:09 +02:00
2025-10-25 07:19:27 +02:00
2025-10-25 06:58:12 +02:00
2026-03-18 09:58:20 +01:00
2026-03-18 09:58:20 +01:00
2026-03-18 09:58:20 +01:00
2025-10-25 06:58:12 +02:00
2025-10-25 07:19:27 +02:00

aristotle

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.

S
Description
No description provided
Readme
80 KiB
Languages
Lean 73.5%
Python 26.5%