https://gitlab.com/nomadic-labs/mi-cho-coq
Raw File
Tip revision: 40a3ee2d51e80bfe6e21bfec58d608f63bde6000 authored by zhenlei on 16 July 2019, 13:12:04 UTC
[coq|spend]add proof
Tip revision: 40a3ee2
_CoqProject
src
back to top