Skip to content

Draft: WIP Constants_repr

corneliuhoffman requested to merge corenliu@data-storage into master

The aim of the MR is to write two proofs for fixed, respectively parametric, constants. in the data encodings.

Edited by Guillaume Claret

Merge request reports