Event Participants

Organizer2 people

Event Attendees

Attendee List

参加枠1 Attendees 5 people
SF読み進捗ダメです会議 #21 #readcoqart #Coq に参加を申し込みました!
SF読み進捗ダメです会議 #21 #readcoqart #Coq に参加を申し込みました!
I joined SF読み進捗ダメです会議 #21 #readcoqart #Coq!
SF読み進捗ダメです会議 #21 #readcoqart #Coq に参加を申し込みました!
SF読み進捗ダメです会議 #21 #readcoqart #Coq に参加を申し込みました!

Canceled Attendees

参加枠1 Cancel 2 people
進捗ダメです
すみません、多忙です。私の担当範囲に関しましては、 https://github.com/sakabar/sfja/blob/my_proof/Smallstep_J.v に公開してあるので、もし私が居ない時に私の担当範囲に入ってしまったらご参照してください。