Draft: WIP Constants_repr
The aim of the MR is to write two proofs for fixed, respectively parametric, constants. in the data encodings.
Edited by Guillaume Claret
The aim of the MR is to write two proofs for fixed, respectively parametric, constants. in the data encodings.