https://yongweiy.github.io/formalizing_regex_derivative_in_lean/ 2024-07-19T00:00:00+00:00 https://yongweiy.github.io/ https://yongweiy.github.io/posts/ https://yongweiy.github.io/_pages/intro/ https://yongweiy.github.io/assets/pdf/pattern-appendix.pdf 2024-11-28T20:00:39+00:00 https://yongweiy.github.io/google99a9fa5f3d9d6ab9.html 2024-11-28T20:00:39+00:00