Hacker GitHub

← All repos

argumentcomputer/yatima

View on GitHub ↗ ★ 148 Lean

A zero-knowledge Lean4 compiler and kernel

5 mentions on Hacker News by 3 people: 1 story, 4 comments · first 2021-06-07 · latest 2021-06-08

Mentions per year 5 mentions · busiest year 2021 (5)
20082026
AllStoriesComments NewestTopOldest
  1. ▲ 89
    Yatima: A programming language for the decentralized web
    story by agentofuser · 2021-06-07 · 62 comments