サクサク読めて、アプリ限定の機能も多数!
xef のブックマーク 2022/01/08 13:24
Let’s Use An Automated Theorem Prover To Verify Video Games; I Swear This Is More Fun Than It Sounds[TheoremProving][GameDev]2022/01/08 13:24
このブックマークにはスターがありません。 最初のスターをつけてみよう!
www.youtube.com2022/01/08
1 人がブックマーク・0 件のコメント
\ コメントが サクサク読める アプリです /
xef のブックマーク 2022/01/08 13:24
このブックマークにはスターがありません。
最初のスターをつけてみよう!
Let’s Use An Automated Theorem Prover To Verify Video Games; I Swear This Is More Fun Than It Sounds
www.youtube.com2022/01/08
1 人がブックマーク・0 件のコメント
\ コメントが サクサク読める アプリです /