10:["$","div",null,{"className":"Post_post__BuG2d","style":{"display":"flex","flexDirection":"column","alignItems":"center","gap":"1rem","flex":"1","width":"100%","padding":"1.4rem","boxShadow":"0.2rem 0.2rem 0.4rem var(--shadow-color), inset 0.08rem 0.12rem 0.06rem var(--grow-color), inset -0.08rem -0.12rem 0.06rem var(--shade-color)","borderRadius":"1.4rem"},"children":[["$","div",null,{"className":"$undefined","style":{"display":"flex","gap":"0.4rem","flexWrap":"wrap","width":"100%"},"children":[false,[["$","a","CA0D",{"href":"/CA0D","style":{"border":"solid 1px var(--post-edge-color)","borderBottom":"none","borderRadius":"0.6rem 0.6rem 0 0","padding":"0.1rem 0.5rem"},"children":"Lean"}],["$","a","A52F-8B7B",{"href":"/A52F-8B7B","style":{"border":"solid 1px var(--post-edge-color)","borderBottom":"none","borderRadius":"0.6rem 0.6rem 0 0","padding":"0.1rem 0.5rem"},"children":"Lean4"}],["$","a","A52F-F249",{"href":"/A52F-F249","style":{"border":"solid 1px var(--post-edge-color)","borderBottom":"none","borderRadius":"0.6rem 0.6rem 0 0","padding":"0.1rem 0.5rem"},"children":"チルノのパーフェクトさんすう教室"}]]]}],["$","article",null,{"className":"article","children":[["$","div",null,{"className":"$undefined","style":{"display":"flex","justifyContent":"space-between","flexWrap":"wrap","width":"100%"},"children":[["$","h2",null,{"style":{"margin":"0.6rem"},"children":["$","a",null,{"href":"/A52F-F3F1","children":"『CS 99: Functional Programming and Theorem Proving in Lean 4』"}]}],["$","div",null,{"className":"$undefined","style":{"display":"flex","justifyContent":"end","alignItems":"center","flex":"1","textAlign":"right","whiteSpace":"nowrap"},"children":["$","div",null,{"children":"2025/7/10 15:58:00"}]}]]}],["$","div",null,{"className":"article_body","dangerouslySetInnerHTML":{"__html":"

https://perfect-math-class.leni.sh/\n

"}}]]}],["$","div",null,{"className":"$undefined","style":{"display":"flex","gap":"0.4rem","flexWrap":"wrap","width":"100%"},"children":[["$","a","",{"href":"/","style":{"border":"solid 1px var(--post-edge-color)","borderTop":"none","borderRadius":"0 0 0.6rem 0.6rem","padding":"0.1rem 0.5rem","opacity":0},"children":"あれ"}],[]]}]]}]