All pull requests

Pull requests

• [WIP] Introduce falsifiable hypothesis connecting biology and number theory

  #241·motanova84 with CopilotAI opened Jan 27, 2026·

  ·
  3

  

• [WIP] Add spectral BSD verification with over 10000 validated curves

  #239·motanova84 with CopilotAI opened Jan 19, 2026·

  ·
  6

  

• [WIP] Add Mapa de Coherencia for πCODE connections

  #237·motanova84 with CopilotAI opened Jan 12, 2026·

  ·
  5

  

• Implement exact version pinning and ENV.lock for reproducibility and data integrity

  #234·motanova84 with CopilotAI opened Jan 6, 2026·

  ·
  3

  

• [WIP] Fix error in resonance theorem for p=17

  #222·motanova84 with CopilotAI opened Dec 3, 2025·

  ·
  1

  

• [WIP] Correct theorem for ResonanceP17 based on validation results

  #221·motanova84 with CopilotAI opened Dec 3, 2025·

  ·
  1

  

• [WIP] Add proof for leading term of L function

  #218·motanova84 with CopilotAI opened Nov 30, 2025·

  ·
  1

  

• [WIP] Add leading term equality theorem for L-functions

  #217·motanova84 with CopilotAI opened Nov 30, 2025·

  ·
  4

  

• [WIP] Add structure for spectral curve data

  #216·motanova84 with CopilotAI opened Nov 30, 2025·

  ·
  1

  

• [WIP] Add kernel models rational points theorem

  #215·motanova84 with CopilotAI opened Nov 30, 2025·

  ·
  1

  

• [WIP] Formalize the bridge between spectral kernel and rational points

  #214·motanova84 with CopilotAI opened Nov 30, 2025·

  ·
  1

  

• [WIP] Add AdelicSpectralOperator structure and conjectures

  #213·motanova84 with CopilotAI opened Nov 30, 2025·

  ·
  1

  

• [WIP] Relate kernel of adelic spectral operator to rational points

  #211·motanova84 with CopilotAI opened Nov 30, 2025·

  ·
  1

  

• [WIP] Formalize rank identity from spectral lemma

  #210·motanova84 with CopilotAI opened Nov 30, 2025·

  ·
  1

  

• [WIP] Formal proof of leading term equality in BSD conjecture

  #209·motanova84 with CopilotAI opened Nov 30, 2025·

  ·
  1

  

• [WIP] Add leading term theorem for BSD conjecture

  #208·motanova84 with CopilotAI opened Nov 30, 2025·

  ·
  2

  

• [WIP] Add rank identity lemma for elliptic curves

  #206·motanova84 with CopilotAI opened Nov 30, 2025·

  ·
  1

  

• [WIP] Add kernel models for rational points on elliptic curves

  #205·motanova84 with CopilotAI opened Nov 30, 2025·

  ·
  1

  

• [WIP] Add Fredholm determinant proof and lemmas

  #204·motanova84 with CopilotAI opened Nov 30, 2025·

  ·
  1

  

• [WIP] Formalize fredholm vanishing kernel dimension in Mathlib

  #203·motanova84 with CopilotAI opened Nov 30, 2025·

  ·
  2

  

• [WIP] Add lemma for rank identity from spectral operator

  #202·motanova84 with CopilotAI opened Nov 30, 2025·

  ·
  1

  

• [WIP] Add Fredholm determinant implementation in Lean

  #201·motanova84 with CopilotAI opened Nov 30, 2025·

  ·
  1

  

• [WIP] Add Fredholm determinant for trace-class operators

  #200·motanova84 with CopilotAI opened Nov 30, 2025·

  ·
  1

  

• [WIP] Update leading coefficient lemma in BSD final project

  #199·motanova84 with CopilotAI opened Nov 30, 2025·

  ·
  2

  

• [WIP] Add spectral identity structure implementation

  #197·motanova84 with CopilotAI opened Nov 30, 2025·

  ·
  2