formal verification

• tar, rewritten in Bend28 Oct 2026 · software, formal verificationA tar archiver written in Bend 2 and checked against GNU tar: it works, but it is slower and incomplete.