drwxr-xr-x 130116 holtrace-20250617/doc 24 files + 0 links
drwxr-xr-x  89086 html 12 files + 0 links
-rw-r--r--    515 download.md
-rw-r--r--  22091 format.md
-rw-r--r--   1222 install.md
-rw-r--r--    354 license.md
-rw-r--r--   1039 ml.md
-rw-r--r--   3276 prooftrace.md
-rw-r--r--   1174 prune.md
-rw-r--r--   1232 readme.md
-rw-r--r--   2547 save.md
-rw-r--r--   2461 test.md
-rw-r--r--   1721 tex.md
-rw-r--r--   3398 verify.md