サクサク読めて、アプリ限定の機能も多数！
そろそろ数学全体がcoqか何かで形式化されて、証明の成否くらい即座に判定できるようにならないかな。
azzr のブックマーク 2022/04/11 16:45
このブックマークにはスターがありません。 最初のスターをつけてみよう！
twitter.com/Perfect_Insider2022/04/10
120 人がブックマーク・24 件のコメント
＼ コメントが サクサク読める アプリです ／
そろそろ数学全体がcoqか何かで形式化されて、証明の成否くらい即座に判定できるようにならないかな。
このブックマークにはスターがありません。
最初のスターをつけてみよう！
https://twitter.com/Perfect_Insider/status/1513148341223575552
120 人がブックマーク・24 件のコメント
＼ コメントが サクサク読める アプリです ／