サクサク読めて、アプリ限定の機能も多数!
jmatsu のブックマーク 2020/09/21 09:57
GitHub - JetBrains/Arend: The Arend Proof Assistant2020/09/21 09:57
このブックマークにはスターがありません。 最初のスターをつけてみよう!
github.com/JetBrains2020/09/21
1 人がブックマーク・0 件のコメント
\ コメントが サクサク読める アプリです /
jmatsu のブックマーク 2020/09/21 09:57
このブックマークにはスターがありません。
最初のスターをつけてみよう!
GitHub - JetBrains/Arend: The Arend Proof Assistant
github.com/JetBrains2020/09/21
1 人がブックマーク・0 件のコメント
\ コメントが サクサク読める アプリです /