MAK.Cpp/lean-math
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 1
Мой репозиторий для обучения lean и различным областям математики
2 commits 2 branches 0 tags 145 KiB
  • Lean 99.6%
  • Shell 0.4%
Find a file
Exact
Примаков Максим Антонович b6e7189268
Some checks failed
Lean Action CI / build (push) Has been cancelled
Details
+ Logic.lean
2026-09-21 11:53:03 +03:00
.github/workflows init commit 2026-09-21 11:52:12 +03:00
math-logic + Logic.lean 2026-09-21 11:53:03 +03:00
.gitignore init commit 2026-09-21 11:52:12 +03:00
lake-manifest.json init commit 2026-09-21 11:52:12 +03:00
lakefile.toml init commit 2026-09-21 11:52:12 +03:00
lean-toolchain init commit 2026-09-21 11:52:12 +03:00
README.md init commit 2026-09-21 11:52:12 +03:00
run-lean.sh init commit 2026-09-21 11:52:12 +03:00

README.md

math-analysis

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.