drwxr-xr-x 180336 holtrace-20250703/doc 28 files + 0 links
drwxr-xr-x 126346 html 14 files + 0 links
-rw-r--r--   6796 bib.md
-rw-r--r--   2383 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--   2849 save.md
-rw-r--r--   2605 test.md
-rw-r--r--   1912 tex.md
-rw-r--r--   3978 verify.md