TY  - RPRT
TI  - Ripple: An Open, AI-Formalized Lean 4 Framework for Computing with CRNs
AU  - Ho-Lin Chen
AU  - Xiang Huang
PY  - 2026
UR  - https://arxiv.org/abs/2607.13531
ID  - 2607.13531
ER  -