サクサク読めて、アプリ限定の機能も多数!
CoqとSCamlを使えば証明されたスマート契約書を書くことができますね!
yoshihiro503 のブックマーク 2020/01/06 13:33
SCaml[ocaml][scaml][tezos][スマートコントラクト][ブロックチェーン] CoqとSCamlを使えば証明されたスマート契約書を書くことができますね!2020/01/06 13:33
このブックマークにはスターがありません。 最初のスターをつけてみよう!
www.scamlang.dev2020/01/06
1 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /
CoqとSCamlを使えば証明されたスマート契約書を書くことができますね!
このブックマークにはスターがありません。
最初のスターをつけてみよう!
SCaml
1 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /