https://gitlab.com/nomadic-labs/mi-cho-coq
Raw File
Tip revision: 2096672f565a4ef4d4d8484cb0e2523208ef68fb authored by Raphaƫl Cauderlier on 21 July 2019, 13:38:36 UTC
Rename "contract constants" into addresses
Tip revision: 2096672
_CoqProject
src
back to top