Lispify HUB update to make `FIRST` and `FINAL` work at the block level

Consensys / linea-constraints

Implementation of the constraint system of Linea, specified in the linea-specification repo.

Other

4 stars 1 forks source link

Closed OlivierBBB closed 1 week ago