-
Notifications
You must be signed in to change notification settings - Fork 0
Pull requests: szl-holdings/lutar-lean
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
feat(round12): new-math unification — Ayni/Ubuntu quorum (EASY) + honest-sorry/Brouwer (MEDIUM) + Pachakuti cohomology (FRONTIER)
#181
opened Jun 3, 2026 by
stephenlutar2-hash
Member
Loading…
feat(round11): software-helping frontier formulas F1–F5 (sorry-free)
#180
opened Jun 3, 2026 by
stephenlutar2-hash
Member
Loading…
feat(round10): classical crypto substrate — DSSE, Rekor, Fulcio, BLS (PhD Crypto)
#179
opened Jun 3, 2026 by
stephenlutar2-hash
Member
Loading…
feat(innovations-round10-cs): CS-frontier algorithmic substrate (BFT/FLP/CAP/pipeline/decidability)
#178
opened Jun 3, 2026 by
stephenlutar2-hash
Member
Loading…
round10 physics: Noether/Liouville/Hamiltonian/entropy invariants + A5-from-gauge bridge
#177
opened Jun 3, 2026 by
stephenlutar2-hash
Member
Loading…
feat(round10-quantum): frontier quantum-mechanical formalisms for the SZL math/security moat
#176
opened Jun 3, 2026 by
stephenlutar2-hash
Member
Loading…
feat(round9): monotone→continuity bridge for Cauchy_ND (Step 3 topology)
#175
opened Jun 3, 2026 by
stephenlutar2-hash
Member
Loading…
feat(cauchy-nd): Step 4 — exponents αᵢ = 1/k (round9, additive)
#174
opened Jun 3, 2026 by
stephenlutar2-hash
Member
Loading…
feat(round9): discharge multiplicative_monotone_isPow — Cauchy_ND Step 3 (FnAnal)
#173
opened Jun 3, 2026 by
stephenlutar2-hash
Member
Loading…
feat(round9): close both VCG truthfulness sorries with real Mathlib proofs
#172
opened Jun 3, 2026 by
stephenlutar2-hash
Member
Loading…
feat(round9): CAUCHY_ND integration scaffold — residual sorry propagated honestly (Λ stays Conjecture 1)
#171
opened Jun 3, 2026 by
stephenlutar2-hash
Member
Loading…
feat(round9): instill 7-organ anatomy killer formulas (additive, kernel-safe)
#170
opened Jun 3, 2026 by
stephenlutar2-hash
Member
Loading…
feat(historical-r6): EULER-FLEET-TOPOLOGY instillation
#168
opened Jun 3, 2026 by
stephenlutar2-hash
Member
Loading…
feat(historical-r6): CAUCHY-SCHWARZ-Λ instillation
#167
opened Jun 3, 2026 by
stephenlutar2-hash
Member
Loading…
feat(historical-r6): NOETHER-AUDIT-CONSERVATION instillation
#166
opened Jun 3, 2026 by
stephenlutar2-hash
Member
Loading…
feat(emerald-r5): Emerald Codex Round 5 — 10 math formulas from Hermetic sources
#165
opened Jun 3, 2026 by
stephenlutar2-hash
Member
Loading…
feat(genetics-r7): CalugareanuFleetInvariant + MMRSyndromeDecoder — topology & repair
#164
opened Jun 3, 2026 by
stephenlutar2-hash
Member
Loading…
feat(genetics-r7): NucleotideKlein4Action — Klein-4 group on {A,T,C,G}
#163
opened Jun 3, 2026 by
stephenlutar2-hash
Member
Loading…
feat(ancient-r4): 10 ancient-decode Lean stubs (round4 innovations)
#162
opened Jun 3, 2026 by
stephenlutar2-hash
Member
Loading…
feat: Second Wave Innovations — 10 new unconceived ideas (Round 2)
#161
opened Jun 3, 2026 by
stephenlutar2-hash
Member
Loading…
feat(lean): first green Λ theorem — Lutar/GreenTheorems.lean index
#156
opened Jun 3, 2026 by
stephenlutar2-hash
Member
•
Draft
feat(thesis): prove TH-V18-11 Pareto finite stabilization — first green non-sorry theorem
#155
opened Jun 3, 2026 by
stephenlutar2-hash
Member
•
Draft
feat(sbom): prove canonicalEncoding_injective (close P2-IQT-CANONENC-FRAMING)
triage/relevant
Issue triaged: still relevant, no immediate action
#150
opened Jun 2, 2026 by
stephenlutar2-hash
Member
•
Draft
feat(uniqueness): close Cauchy density step in monotone_additive_linear (Λ stays Conjecture 1) [iter5]
triage/relevant
Issue triaged: still relevant, no immediate action
#149
opened Jun 2, 2026 by
stephenlutar2-hash
Member
•
Draft
fix(ci): build Lake against committed pinned manifest (Mathlib v4.13.0 skew)
triage/relevant
Issue triaged: still relevant, no immediate action
#142
opened Jun 1, 2026 by
stephenlutar2-hash
Member
Loading…
ProTip!
no:milestone will show everything without a milestone.