drwxr-xr-x 162606 holtrace-20250629/doc 28 files + 0 links
drwxr-xr-x 110318 html 14 files + 0 links
-rw-r--r--   6453 bib.md
-rw-r--r--   1761 download.md
-rw-r--r--  22092 format.md
-rw-r--r--   1748 install.md
-rw-r--r--    354 license.md
-rw-r--r--   1004 ml.md
-rw-r--r--   1401 opentheory.md
-rw-r--r--   3770 prooftrace.md
-rw-r--r--   1174 prune.md
-rw-r--r--   1232 readme.md
-rw-r--r--   2812 save.md
-rw-r--r--   2605 test.md
-rw-r--r--   1910 tex.md
-rw-r--r--   3972 verify.md