Reservoir

yatima-inc/yatima-lang

A verifiable computing language

GitHub Link Documentation

Pick a version!

TODO: should show a time axes that allows the users to view, filter and click copy the lakefile config.

README

yatima-lang

A verifiable computing language

Usage

  • yatima build triggers the compilation of a Lean file to Yatima.
    • Adding -pl will print the Lean constants (input)
    • Adding -py will print the Yatima constants (output)

Build

Build it with lake build