-
Notifications
You must be signed in to change notification settings - Fork 1
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
- Status: Open.#10119 In kim-em/hex-dev;
- Status: Open.#10118 In kim-em/hex-dev;
feat(mv-factor): complete verified multivariate integer factorization and its Mathlib API
enhancementNew feature or requestNew feature or requestStatus: Open.#10082 In kim-em/hex-dev;feat(graph-iso): prove the structured search by one policy-parameterized recursion (Fable)
directivepod coordinationpod coordinationStatus: Open.#10043 In kim-em/hex-dev;chore(nauty-ffi): expose automorphism generators, orbits and group order
agent-planpod coordinationpod coordinationfeaturePlanner-dispatched implementation workPlanner-dispatched implementation workStatus: Open.#10025 In kim-em/hex-dev;feat(graph-iso): a tactic for automorphism and group-order goals
agent-planpod coordinationpod coordinationblockedpod coordinationpod coordinationfeaturePlanner-dispatched implementation workPlanner-dispatched implementation workStatus: Open.#10024 In kim-em/hex-dev;- Status: Open.#10018 In kim-em/hex-dev;
release: publish hex-poly-fast and restore the fast kernels to the HexPolyZ and HexPolyFp umbrellas
featurePlanner-dispatched implementation workPlanner-dispatched implementation workStatus: Open.#10001 In kim-em/hex-dev;perf(number-field-tower): give the dense toPrimitive map an admissible mode
critical-pathpod coordinationpod coordinationfeaturePlanner-dispatched implementation workPlanner-dispatched implementation workStatus: Open.#9999 In kim-em/hex-dev;- Status: Open.#9974 In kim-em/hex-dev;
- Status: Open.#9965 In kim-em/hex-dev;
perf(number-field-tower): establish division evidence after inversion
blockedpod coordinationpod coordinationcritical-pathpod coordinationpod coordinationfeaturePlanner-dispatched implementation workPlanner-dispatched implementation workStatus: Open.#9947 In kim-em/hex-dev;