yatima-inc/yatima

A zero-knowledge Lean4 compiler and kernel

89 best points · 62 comments · 1 Hacker News post · 148 GitHub stars · View on GitHub

Hacker News discussions

• Yatima: A programming language for the decentralized web (89 points, 62 comments, by agentofuser, 2021-06-07)