-
Notifications
You must be signed in to change notification settings - Fork 30
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
- Status: Open.#589 In math-comp/hierarchy-builder;
comp1o->comp1squestionFurther information is requestedFurther information is requestedStatus: Open.#585 In math-comp/hierarchy-builder;maybe an oversight in the monad axioms?
questionFurther information is requestedFurther information is requestedStatus: Open.#584 In math-comp/hierarchy-builder;- Status: Open.#583 In math-comp/hierarchy-builder;
- Status: Open.#581 In math-comp/hierarchy-builder;
Picking up instances where the key is a variable
enhancementNew feature or requestNew feature or requestmedium priorityPriority: intermediatePriority: intermediateStatus: Open.#579 In math-comp/hierarchy-builder;HB.structure does not give the right type to its operations
bugSomething isn't workingSomething isn't workinghigh priorityHigh priorityHigh priorityStatus: Open.#577 In math-comp/hierarchy-builder;HB support for importing non-canonical instances
enhancementNew feature or requestNew feature or requestStatus: Open.#575 In math-comp/hierarchy-builder;- Status: Open.#559 In math-comp/hierarchy-builder;
HB.graph bug?
bugSomething isn't workingSomething isn't workingStatus: Open.#558 In math-comp/hierarchy-builder;- Status: Open.#548 In math-comp/hierarchy-builder;
HB.saturate on (forall _,_)
easy difficultyVery easyVery easyhigh priorityHigh priorityHigh priorityStatus: Open.#547 In math-comp/hierarchy-builder;