ひとり勉強会

ひとり楽しく勉強会

ここ「ひとり勉強会」は、会と言いつつひとりで勉強した記録を残してます。
Coq の解説記事を書くために勉強しています。

つづく...