Rao Xiaojia — BlogTechnical writing on Coq/Lean verification.https://www.raoxiaojia.com/Welcomehttps://www.raoxiaojia.com/blog/welcome/https://www.raoxiaojia.com/blog/welcome/A new home for writing on Coq/Lean verification work.Wed, 22 Apr 2026 00:00:00 GMTRendering Coq and Lean 4 on the new sitehttps://www.raoxiaojia.com/blog/coq-lean-rendering/https://www.raoxiaojia.com/blog/coq-lean-rendering/A short demo that the static stack handles Coq/Rocq and Lean 4 code blocks plus KaTeX math.Wed, 22 Apr 2026 00:00:00 GMT