NISHIO Hirokazu
[日本語]
[English]
日記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
(C)NISHIO Hirokazu / Converted from Markdown (ja)
Source:
[GitHub]
/
[Scrapbox]