第78回 ProofCafe 第78回 ProofCafe

Attendee List

Event Participants

Organizer5 people

Event Attendees

Attendee List

参加枠1 Attendees 5 people
第78回 ProofCafe に参加を申し込みました!
第78回 ProofCafeに参加を申し込みました!
第78回 ProofCafe に参加を申し込みました!Godel’s Incompleteness Theorem in coqを取り組もうと思っています。どの資料がいいか比較できず、まず一つ読み始めました。Godel’s Incompleteness Theorem in coq
第78回 ProofCafe に参加を申し込みました!
第78回 ProofCafeに参加を申し込みました!