[go: up one dir, main page]

Proto/Dal: adapt proofs functions to new skip lists & proofs format

Mohamed IGUERNLALArequested to merge
iguerNL@refut@adapt-proofs-functions into master

In this MR, we finish adapting the fonctions of dal_slot_repr to new skip lists & proofs format.

Stacked on !11778 (merged).

Edited by Raphaël Cauderlier

Merge request reports