search

spruceid / did-tezos

The Decentralized Identifier method for the Tezos blockchain.
https://did-tezos.spruceid.com
Apache License 2.0
9 stars 1 forks source link

Fork mi-cho-coq #23

Closed sbihel closed 3 years ago

sbihel commented 3 years ago

Currently to run a proof in mi-cho-coq needs to be in the repo. So we need to fork it, and eventually it might be merged as an example or test. But we will need to keep the fork as some kind of audit proof.

@wyc would it be possible to fork https://gitlab.com/nomadic-labs/mi-cho-coq?

wyc commented 3 years ago

@sbihel you should have access to https://github.com/spruceid/mi-cho-coq