drwxr-xr-x 182123 holtrace-20250714/doc 28 files + 0 links
drwxr-xr-x 127338 html 14 files + 0 links
-rw-r--r--   6796 bib.md
-rw-r--r--   2796 download.md
-rw-r--r--  22092 format.md
-rw-r--r--   2368 install.md
-rw-r--r--    354 license.md
-rw-r--r--   1004 ml.md
-rw-r--r--   1401 opentheory.md
-rw-r--r--   3805 prooftrace.md
-rw-r--r--   1211 prune.md
-rw-r--r--   1232 readme.md
-rw-r--r--   3231 save.md
-rw-r--r--   2605 test.md
-rw-r--r--   1912 tex.md
-rw-r--r--   3978 verify.md