Issues

• Lean v4.34.1 update check failed

  lean-update
  wsollers/lra-lean#29 · Filter by author github-actions opened on Sep 26, 2026

• Lean v4.34.0 update check failed

  lean-update
  wsollers/lra-lean#28 · Filter by author github-actions opened on Sep 19, 2026

• Analysis carrier migration punchlist for in-house R and N

  wsollers/lra-lean#22 · Filter by author wsollers opened on Aug 25, 2026

• Use ProofWiki dependency/proof-order information as input for professional proof planning

  wsollers/lra-lean#17 · Filter by author wsollers opened on Aug 23, 2026

• Lean v4.33.1 update check failed

  lean-update
  wsollers/lra-lean#16 · Filter by author github-actions opened on Aug 22, 2026
  3

• Track source-vocabulary aliases after map alias cleanup

  wsollers/lra-lean#15 · Filter by author wsollers opened on Aug 17, 2026

• Lean v4.33.0 update check failed

  lean-update
  wsollers/lra-lean#14 · Filter by author github-actions opened on Aug 15, 2026
  2

• Distinguish carrier nonemptiness, subset nonemptiness, and order completeness in Supremum extraction

  wsollers/lra-lean#13 · Filter by author wsollers opened on Aug 14, 2026

• Complete canonical LRA number-system carriers and interoperability

  enhancement
  wsollers/lra-lean#12 · Filter by author wsollers opened on Aug 13, 2026

• Bounds pilot: formalization-first concept study, examples, counterexamples, and dependencies

  wsollers/lra-lean#11 · Filter by author wsollers opened on Aug 13, 2026

• Replace temporary Mathlib imports in Volume I Logic

  wsollers/lra-lean#10 · Filter by author wsollers opened on Aug 8, 2026
  

• Lean v4.32.2 update check failed

  lean-update
  wsollers/lra-lean#9 · Filter by author github-actions opened on Aug 8, 2026
  

• Determine why N has dependencies on W

  wsollers/lra-lean#5 · Filter by author wsollers opened on Jul 27, 2026