気づくと明日なんですね。僕もまだ場所がわかってません。でも、明日のセッションで気になるのが、今のところ、基調講演とLTのCoqなんですが、僕は間違っているでしょうか。
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。