nerf/leanTemplate
Template
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
template for my lean projects
1 commit 1 branch 0 tags 31 KiB
  • Nix 95.4%
  • Lean 4.6%
Find a file Use this template
Exact
Dennis Frieberg f39ba76af5
 Inital lean setup try
2026-02-21 17:33:42 -08:00
src Inital lean setup try 2026-02-21 17:33:42 -08:00
.gitignore Inital lean setup try 2026-02-21 17:33:42 -08:00
flake.nix Inital lean setup try 2026-02-21 17:33:42 -08:00
lakefile.toml Inital lean setup try 2026-02-21 17:33:42 -08:00
README.md Inital lean setup try 2026-02-21 17:33:42 -08:00

README.md

To initialize the lean toolchain to the up to date mathlib toolchain

curl https://raw.githubusercontent.com/leanprover-community/mathlib4/master/lean-toolchain -o lean-toolchain