Event Participants

Organizer1 people

Event Attendees

Attendee List

一般 Attendees 10 people
プログラム検証器を作って学ぶ Hoare 論理 に参加を申し込みました!
証明初心者です、楽しみにしてます
プログラム検証器を作って学ぶ Hoare 論理に参加を申し込みました!
プログラム検証器を作って学ぶ Hoare 論理に参加を申し込みました!
プログラム検証器を作って学ぶ Hoare 論理に参加を申し込みました!
プログラム検証器を作って学ぶ Hoare 論理 に参加を申し込みました!
I joined プログラム検証器を作って学ぶ Hoare 論理!
プログラム検証器を作って学ぶ Hoare 論理 に参加を申し込みました!
プログラム検証器を作って学ぶ Hoare 論理 に参加を申し込みました!
プログラム検証器を作って学ぶ Hoare 論理 に参加を申し込みました!