Proof Summit 2019 - Media List

Ended 2019/09/29（Sun） 11:00〜

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

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

Group Information

Members	268 people
Number of events	5

投稿者:lion

投稿日:Sept. 29, 2019, 4:11 p.m.

動画はありません。

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

投稿者:lion

投稿日:Sept. 29, 2019, 12:31 p.m.

投稿者:lion

投稿日:Sept. 29, 2019, 12:33 p.m.

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

投稿者:lion

投稿日:Sept. 29, 2019, 4:16 p.m.

(未設定)

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

投稿者:κeen

投稿日:Sept. 29, 2019, 10:39 p.m.

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

投稿者:lion

投稿日:Nov. 4, 2019, 5:36 p.m.