Event Participants

Organizer1 people

Event Attendees

Attendee List

一般 Attendees 7 people
I joined Isabelleチュートリアル 第1回 論理(全4回)!
Isabelleチュートリアル 第1回 論理(全4回) に参加を申し込みました!
Isabelleチュートリアル 第1回 論理(全4回) に参加を申し込みました!
Isabelleチュートリアル 第1回 論理(全4回) に参加を申し込みました!
Isabelleチュートリアル 第1回 論理(全4回) に参加を申し込みました!
Isabelleチュートリアル 第1回 論理(全4回) に参加を申し込みました!
初参加です。Coqは学生のときにやっていました。Isabelleは未経験です。