argumentcomputer / yatima

A zero-knowledge Lean4 compiler and kernel
MIT License
122 stars 9 forks source link

update dependencies and bump toolchain #183

Closed johnchandlerburnham closed 2 years ago

johnchandlerburnham commented 2 years ago

These PRs to deps should be merged first:

https://github.com/yatima-inc/LSpec/pull/35 https://github.com/yatima-inc/YatimaStdLib.lean/pull/9/ https://github.com/yatima-inc/Ipld.lean/pull/16