https://gitlab.com/nomadic-labs/mi-cho-coq
Raw File
Tip revision: ab14244946ee50604af38152dd44f12fdbbb40a1 authored by Yann Regis-Gianas on 10 March 2021, 16:44:43 UTC
Merge branch 'yrg@dexter_fa12lqt-verification-tokenToXtz' into 'dexter_fa12lqt-verification'
Tip revision: ab14244
_CoqProject
src
back to top