drwxr-xr-x 135233 holtrace-20250624/doc 24 files + 0 links
drwxr-xr-x  91793 html 12 files + 0 links
-rw-r--r--   1166 download.md
-rw-r--r--  22092 format.md
-rw-r--r--   1222 install.md
-rw-r--r--    354 license.md
-rw-r--r--   1038 ml.md
-rw-r--r--   3296 prooftrace.md
-rw-r--r--   1174 prune.md
-rw-r--r--   1232 readme.md
-rw-r--r--   2547 save.md
-rw-r--r--   2565 test.md
-rw-r--r--   3354 tex.md
-rw-r--r--   3400 verify.md