-
Notifications
You must be signed in to change notification settings - Fork 2
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
design(primality): evaluate an extensible certificate language for Hex
enhancementNew feature or requestNew feature or requestStatus: Open.#10293 In kim-em/hex-dev;perf(primality): explain PrimeCert's replay advantage and close justified gaps
enhancementNew feature or requestNew feature or requestStatus: Open.#10292 In kim-em/hex-dev;investigate(primality): reach the remaining standard field primes
enhancementNew feature or requestNew feature or requestStatus: Open.#10291 In kim-em/hex-dev;- Status: Open.#10287 In kim-em/hex-dev;
- Status: Open.#10274 In kim-em/hex-dev;
spec: real closures of ordered fields with infinitesimals and transcendentals (umbrella)
blockedpod coordinationpod coordinationdirectivepod coordinationpod coordinationdocumentationImprovements or additions to documentationImprovements or additions to documentationStatus: Open.#10143 In kim-em/hex-dev;spec: exact comparison of real algebraic numbers
blockedpod coordinationpod coordinationdirectivepod coordinationpod coordinationdocumentationImprovements or additions to documentationImprovements or additions to documentationStatus: Open.#10142 In kim-em/hex-dev;- 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;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;