サクサク読めて、アプリ限定の機能も多数!
∀とかλが構文に入ってるっぽくて大変そうな感じがした
newnakashima のブックマーク 2021/06/10 10:40
GitHub - lurk-lab/yatima: A zero-knowledge Lean4 compiler and kernel∀とかλが構文に入ってるっぽくて大変そうな感じがした2021/06/10 10:40
このブックマークにはスターがありません。 最初のスターをつけてみよう!
github.com/lurk-lab2021/06/08
Yatima is a Lean 4 compiler backend targeting the the Lurk language for recursive zkSNARKs, enabling zero-knowledge proofs of Lean 4 execution. Additionally, Yatima has its own Lean 4 implementatio...
13 人がブックマーク・3 件のコメント
\ コメントが サクサク読める アプリです /
∀とかλが構文に入ってるっぽくて大変そうな感じがした
このブックマークにはスターがありません。
最初のスターをつけてみよう!
GitHub - lurk-lab/yatima: A zero-knowledge Lean4 compiler and kernel
Yatima is a Lean 4 compiler backend targeting the the Lurk language for recursive zkSNARKs, enabling zero-knowledge proofs of Lean 4 execution. Additionally, Yatima has its own Lean 4 implementatio...
13 人がブックマーク・3 件のコメント
\ コメントが サクサク読める アプリです /