argumentcomputer / yatimaLinks

A zero-knowledge Lean4 compiler and kernel
134Updated 6 months ago

Alternatives and similar repositories for yatima

Users that are interested in yatima are comparing it to the libraries listed below

Sorting: