サクサク読めて、アプリ限定の機能も多数!
igrep のブックマーク 2021/07/19 08:05
GitHub - liamoc/holbert: A graphical interactive proof assistant designed for education[Haskell][定理証明器]2021/07/19 08:05
このブックマークにはスターがありません。 最初のスターをつけてみよう!
github.com/liamoc2021/07/19
1 人がブックマーク・0 件のコメント
\ コメントが サクサク読める アプリです /
igrep のブックマーク 2021/07/19 08:05
このブックマークにはスターがありません。
最初のスターをつけてみよう!
GitHub - liamoc/holbert: A graphical interactive proof assistant designed for education
github.com/liamoc2021/07/19
1 人がブックマーク・0 件のコメント
\ コメントが サクサク読める アプリです /