Diary 2024-01-09

Coq

• https://softwarefoundations.cis.upenn.edu/ Agda

• https://plfa.github.io/

• Diary 2024-01-07 ← Diary 2024-01-09 → Diary 2024-01-10 100 days ago Diary 2023-10-01. 1 year ago Diary 2023-01-09.

---

This page is auto-translated from /nishio/日記2024-01-09 using DeepL. If you looks something interesting but the auto-translated English is not good enough to understand it, feel free to let me know at @nishio_en. I’m very happy to spread my thought to non-Japanese readers.