search

argumentcomputer / yatima

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

remove broken flake, which is worse than no flake #248

Closed johnchandlerburnham closed 1 year ago

johnchandlerburnham commented 1 year ago

closes #247