hierarchy-builder icon indicating copy to clipboard operation
hierarchy-builder copied to clipboard
verified publisher icon math-comp

HB.howto does not find instances

Open Tragicus opened this issue 1 year ago • 0 comments

Here, HB.howto does not find the instances on FImFun.type (as witnessed immediately after). Besides, the second Check fails for unknown reasons, but this might be unrelated to HB.

Tragicus avatar Nov 04 '24 17:11 Tragicus