HOL Module Manager

Open dnezam opened this issue 1 year ago • 2 comments

This issue tracks the proposal for introducing a module manager for HOL, which would act as a sort of package manager on the level single Theory or Library files, and currently lives in the form of this gist created by @xrchz .

Depends on

#1364
#1383
#381

Feb 01 '25 18:02 dnezam

I think after the workshop I want to turn this into a separate much smaller issue, which is just an addition to Holmake to use a build cache with source-based hashing

Jun 11 '25 09:06 xrchz

Do we want to keep this open, or should we close it in favor of the other issues/the project overview?

Jul 21 '25 13:07 dnezam