Rare find

yatima. A zero-knowledge Lean4 compiler and kernel

github.com/argumentcomputer/yatima
by @argumentcomputer

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.