Proof Summit 2019 - 資料一覧

終了 2019/09/29（日） 11:00〜

定理証明系に関するユーザーイベントです。

東京都中央区銀座 4-12-15 歌舞伎座タワー21階

グループ情報

メンバー数	266人
イベント数	5回

投稿者:lion

投稿日:2019年9月29日 16時11分

動画はありません。

Proof Summit 2019での発表用。Idrisと依存型と証明

投稿者:lion

投稿日:2019年9月29日 12時31分

投稿者:lion

投稿日:2019年9月29日 12時33分

Contribute to data61/PSL development by creating an account on GitHub.

投稿者:lion

投稿日:2019年9月29日 16時16分

(未設定)

ProofSummitに参加した人、参加できなかった人の様々な実況

投稿者:κeen

投稿日:2019年9月29日 22時39分

GitHub Gist: instantly share code, notes, and snippets.

投稿者:lion

投稿日:2019年11月4日 17時36分