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)
- Adding
Build
Build it with lake build