このエントリーをはてなブックマークに追加
SF.lean勉強会

Ended 2024/02/26(Mon) 20:00〜

SF.lean勉強会

Coqで書かれたSoftware Foundations vol. 1をLean 4に翻訳します

YAMAMOTO Yuji YAMAMOTO Yuji

オンライン

Media List

スライド

スライドはありません。

動画

動画はありません。

ブログなど

ブログはありません。