lean4/script/lib at master - lean4 - Gitea: Git with a cup of tea

sdgoij/lean4

mirror of https://github.com/leanprover/lean4.git synced 2026-03-17 18:34:06 +00:00

Files

History

Sebastian Ullrich 1fd9adc693 fix: update-stage0 under the Lake cache

2026-02-25 11:40:02 +01:00

..

README.md

chore: add ./script/rebase-stage0.sh (#3984 )

2024-05-02 12:26:25 +00:00

rebase-editor.sh

chore: add ./script/rebase-stage0.sh (#3984 )

2024-05-02 12:26:25 +00:00

update-stage0

fix: update-stage0 under the Lake cache

2026-02-25 11:40:02 +01:00

README.md

This directory contains various scripts that are not meant to be called directly, but through other scripts or makefiles.