フォロー

定理証明支援系、なんとなく憧れがあるだけでなんの知識もなくて講演もポスターもほとんどわからなかったので少し話についていけるぐらいには勉強したい……

ログインして会話に参加
:don:

The place to express your ❤️ more freely. / あなたの「すき」をもっと自由に書き表すための場所。