Prove IMT insertion identities. (!17) · Merge requests · Nomadic Labs / sapling-verification · GitLab

Antonio Locascio requested to merge alocascio@IMT-insert-identities into master Apr 09, 2021

Closes #17 (closed), #18 (closed)

Related #16

As explained in #18 (closed).

Reviewers: @paracetamolo @germanD

Edited Apr 22, 2021 by Antonio Locascio