Skip to content

Draft: Validity of matching functions in the data-encoding

Guillaume Claret requested to merge guillaume-claret@387-part-1 into 387-part-1

Definition of a validity predicate for the matching functions in data-encoding.

Merge request reports