天泣記

2023-08-27 (Sun)

#1 Why3

ふと Why3 が気になって https://why3.lri.fr/ にアクセスしたが、Forbidden になっちゃうなぁ

2023-07-08 (Sat)

#1 Coq pull request

GitHub coq/coq/pull/17831: Avoid unicode subscripts in document

2023-06-30 (Fri)

#1 Coq pull request

GitHub coq/coq/pull/17793: Markup EQ as code.

2023-05-12 (Fri)

#1 Coq issue

GitHub coq/coq/issues/17603: Latin subscripts in PDF manual

2023-05-11 (Thu)

#1 Coq issue

GitHub coq/coq/issues/17596: Unexpected coqtop message.

2023-05-01 (Mon)

#1 退院

なんとか退院したが、右足に体重をかけられないので、しばらくは家に引きこもり。

2023-04-04 (Tue)

#1 入院

朝から病院に行って、診察してもらい、即日入院となった



田中哲