lean4-htt/script/lib
2026-02-25 11:40:02 +01:00
..
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.