Yukihiro0036
(Yukihiro0036)

利用開始日: 03/07/2019

SOKENDAI 1st year, NII.
I am intersted in Logic, Mathematics, Informatics, Philosophy, Physics and so on.
I study Separation Logic for Software verification.

Your Groups

2019

04/29

(Mon)

14:00〜

Attending

Coq勉強会 -  #1 Ended

readcoqart

Coq勉強会 - #1

tmiya_ tmiya_

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

23

2019

03/21

(Thu)

14:00〜

Attending

Coq勉強会 -  #56 Ended

readcoqart

Coq勉強会 - #56

tmiya_ tmiya_

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

20