Open Issues Need Help
View All on GitHub P018 — Finite-Precision Proof Calculus / 有限精度证明演算 about 1 month ago
help wanted question
P008 — mathlib-native formalization and upstream audit about 1 month ago
help wanted formalization
P017 — Signed square-carry balance for the Legendre pressure test about 1 month ago
help wanted question
P015: Build a precise prior-art comparison map about 1 month ago
documentation help wanted good first issue
P016: Define physical falsification criteria for fundamental collapse about 1 month ago
help wanted question
P011: Find integer-valued irreversibility observables about 1 month ago
help wanted good first issue
P003: Do collapse operators commute? about 1 month ago
help wanted
P001: Characterize when integer roots are multiplicative about 1 month ago
help wanted good first issue
P013: Formalize T001 and T005 in Lean about 1 month ago
help wanted good first issue
P002: Prove the sharp collapse-gap bound about 1 month ago
help wanted good first issue