bump - Githubissues

argumentcomputer / yatima

A zero-knowledge Lean4 compiler and kernel

MIT License

114 stars 8 forks source link

Closed BoltonBailey closed 1 year ago

BoltonBailey commented 1 year ago

Bumping this repository as well, with the new YatimaStdLib

arthurpaulino commented 1 year ago

I'm closing it for now because the next bump worth going for is to the Lean 4 stable release