sdgoij/lean4
1
0
Fork 0
mirror of https://github.com/leanprover/lean4.git synced 2026-03-17 18:34:06 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
master
lean4/script/lib/README.md
Joachim Breitner 74adb0961c chore: add ./script/rebase-stage0.sh (#3984) 
heavily based on an script by Kim.
2024-05-02 12:26:25 +00:00

124 B
Raw Permalink Blame History

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

Reference in New Issue View Git Blame Copy Permalink