awdawmip

awdawmip/enterprise-math

10 good first / help-wanted issues · Python · last activity Aug 8, 2026

0 stars 0 forks 0 watchers Python MIT License

10 Open Issues Need Help Last updated: Aug 8, 2026

Open Issues Need Help

View All on GitHub

P018 — Finite-Precision Proof Calculus / 有限精度证明演算 3 months ago

help wanted question

awdawmip/enterprise-math

0

Python

P008 — mathlib-native formalization and upstream audit 3 months ago

help wanted formalization

awdawmip/enterprise-math

0

Python

P017 — Signed square-carry balance for the Legendre pressure test 3 months ago

help wanted question

awdawmip/enterprise-math

0

Python

P015: Build a precise prior-art comparison map 3 months ago

documentation help wanted good first issue

awdawmip/enterprise-math

0

Python

P016: Define physical falsification criteria for fundamental collapse 3 months ago

help wanted question

awdawmip/enterprise-math

0

Python

P011: Find integer-valued irreversibility observables 3 months ago

help wanted good first issue

awdawmip/enterprise-math

0

Python

P003: Do collapse operators commute? 3 months ago

help wanted

awdawmip/enterprise-math

0

Python

P001: Characterize when integer roots are multiplicative 3 months ago

help wanted good first issue

awdawmip/enterprise-math

0

Python

P013: Formalize T001 and T005 in Lean 3 months ago

help wanted good first issue

awdawmip/enterprise-math

0

Python

P002: Prove the sharp collapse-gap bound 3 months ago

help wanted good first issue

awdawmip/enterprise-math

0

Python