https://gitlab.com/nomadic-labs/mi-cho-coq
Raw File
Tip revision: c631a797a0f334a347d89844c3af9289eab494e3 authored by zhenlei on 20 May 2019, 09:16:21 UTC
[oracle_insurance|paper] add specification
Tip revision: c631a79
_CoqProject
src
back to top