日記2024-01-09
Coq
https://softwarefoundations.cis.upenn.edu/
Agda
https://plfa.github.io/
日記2024-01-07
←日記2024-01-09→
日記2024-01-10
100日前
日記2023-10-01
1年前
日記2023-01-09