feat: theorems demo - Githubissues

argumentcomputer / lurk

Lurk is a Turing-complete programming language for zk-SNARKs. It is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp.

https://docs.argument.xyz

MIT License

39 stars 0 forks source link

Open arthurpaulino opened 1 week ago