Skip to content

Translate proto J and K from their folders

Guillaume Claret requested to merge guillaume-claret@translate-j-and-k-from-their-folders into master

The corresponding MR from which we do the translation to Coq is tezos!6 (closed) Fixes the issue #212 (closed)

Edited by Guillaume Claret

Merge request reports