-
-
Notifications
You must be signed in to change notification settings - Fork 0
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
Phase 5: Tests + finalization
v0.8.xVersion 0.8.x featuresVersion 0.8.x featuresStatus: Open.#72 In djdarcy/Prime-Square-Sum;Phase 4: vals channel
v0.8.xVersion 0.8.x featuresVersion 0.8.x featuresStatus: Open.#71 In djdarcy/Prime-Square-Sum;Phase 3: CLI wiring (--show, -Q count)
v0.8.xVersion 0.8.x featuresVersion 0.8.x featuresStatus: Open.#70 In djdarcy/Prime-Square-Sum;Phase 2: THAC0 core OutputManager
v0.8.xVersion 0.8.x featuresVersion 0.8.x featuresStatus: Open.#69 In djdarcy/Prime-Square-Sum;Phase 1: Port help_lib + create log_lib skeleton
v0.8.xVersion 0.8.x featuresVersion 0.8.x featuresStatus: Open.#68 In djdarcy/Prime-Square-Sum;Named verbosity channels: selective output with -v CHANNEL
architectureArchitectural changesArchitectural changesv0.8.xVersion 0.8.x featuresVersion 0.8.x featuresStatus: Open.#65 In djdarcy/Prime-Square-Sum;Expression-based iterator bounds: bounds as functions of other variables
v0.8.xVersion 0.8.x featuresVersion 0.8.x featuresStatus: Open.#64 In djdarcy/Prime-Square-Sum;Constant expression hoisting for iteration loops
performancePerformance optimizationPerformance optimizationStatus: Open.#60 In djdarcy/Prime-Square-Sum;Output destination routing (--output file/clip/stdout/all) and pager research
v1.0Version 1.0 featuresVersion 1.0 featuresStatus: Open.#59 In djdarcy/Prime-Square-Sum;Surface implicit default bounds in search output
v0.8.xVersion 0.8.x featuresVersion 0.8.x featuresStatus: Open.#58 In djdarcy/Prime-Square-Sum;Structured hint and help system for CLI guidance
architectureArchitectural changesArchitectural changesv0.8.xVersion 0.8.x featuresVersion 0.8.x featuresStatus: Open.#57 In djdarcy/Prime-Square-Sum;Formal proof: closed-form stf(b) via Lean 4 + Mathlib
proofsLean 4 formal proofsLean 4 formal proofsresearchMathematical research and conjecturesMathematical research and conjecturesv0.7.xVersion 0.7.x featuresVersion 0.7.x featuresv0.8.xVersion 0.8.x featuresVersion 0.8.x featuresStatus: Open.#56 In djdarcy/Prime-Square-Sum;