サクサク読めて、アプリ限定の機能も多数!
“Cicada language is a dependently typed programming language and an interactive theorem prover.”
igrep のブックマーク 2022/03/08 09:06
GitHub - cicada-lang/cicada: Cicada Language[依存型][定理証明器]“Cicada language is a dependently typed programming language and an interactive theorem prover.”2022/03/08 09:06
このブックマークにはスターがありません。 最初のスターをつけてみよう!
github.com/cicada-lang2022/03/08
1 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /
“Cicada language is a dependently typed programming language and an interactive theorem prover.”
このブックマークにはスターがありません。
最初のスターをつけてみよう!
GitHub - cicada-lang/cicada: Cicada Language
1 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /