ふと Why3 が気になって https://why3.lri.fr/ にアクセスしたが、Forbidden になっちゃうなぁ
GitHub coq/coq/pull/17831: Avoid unicode subscripts in document
GitHub coq/coq/pull/17793: Markup EQ as code.
GitHub coq/coq/issues/17603: Latin subscripts in PDF manual
GitHub coq/coq/issues/17596: Unexpected coqtop message.
なんとか退院したが、右足に体重をかけられないので、しばらくは家に引きこもり。
朝から病院に行って、診察してもらい、即日入院となった