Open Issues Need Help
View All on GitHub P008 — mathlib-native formalization and upstream audit about 1 hour ago
help wanted
P015: Build a precise prior-art comparison map about 3 hours ago
documentation help wanted good first issue
P016: Define physical falsification criteria for fundamental collapse about 3 hours ago
help wanted question
P011: Find integer-valued irreversibility observables about 3 hours ago
help wanted good first issue
P003: Do collapse operators commute? about 3 hours ago
help wanted
P001: Characterize when integer roots are multiplicative about 3 hours ago
help wanted good first issue
P013: Formalize T001 and T005 in Lean about 3 hours ago
help wanted good first issue
P002: Prove the sharp collapse-gap bound about 3 hours ago
help wanted good first issue