Sign inSign up

argumentcomputer/yatima

A zero-knowledge Lean4 compiler and kernel

LeanStars 138Forks 10Watchers 138Open issues 15License MIT License
Details
仓库信息
Ownerargumentcomputer
Homepage—
GitHubhttps://github.com/argumentcomputer/yatima
Last pushed2024-11-07
Last updated2025-12-13
Issues fetched at—

Stats

Community at a glance

Loading...

Loading

--

Loading

--

Loading

--

Loading

--