lean4-htt/script/lib
..
README.md
rebase-editor.sh
update-stage0

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