F* Refine IMT Spec with machine ints (!19) · Merge requests · Nomadic Labs / sapling-verification · GitLab

Antonio Locascio requested to merge alocascio@fstar-machine-ints into master Apr 22, 2021

Closes #19 (closed)

Related #16

As explained in #19 (closed).

Reviewers: @paracetamolo @germanD

Edited Jun 07, 2021 by Antonio Locascio