天泣記

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 入院

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

2023-04-03 (Mon)

#1 自転車で転んだ

自転車で転んで、 すぐに近くのクリニックにいって診てもらったら骨折とのこと

大きい病院に行くことを勧められ、紹介状を書いてもらった

2023-03-11 (Sat)

#1 mathcomp book issue

GitHub math-comp/mcb/issues/148: The explanation for the proof of edivnP

2023-03-03 (Fri)

#1 mathcomp book issue

GitHub math-comp/mcb/issues/146: The order of subgoals in proof of eqnP.



田中哲