天泣記

2023-05-01 (Mon)

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

2023-05-11 (Thu)

#1 Coq issue: GitHub coq/coq/issues/17596: Unexpected coqtop message.

2023-05-12 (Fri)

#1 Coq issue: GitHub coq/coq/issues/17603: Latin subscripts in PDF manual