Skip to main content

Browse the archive

Revision 1f0c09730df60b78c19f0c965d697052e7484b9f authored by Arvid Jakobsson on 16 April 2021, 14:03:14 UTC, committed by Yann Regis-Gianas on 30 April 2021, 09:57:29 UTC 
Functional specification and proof for TokenToXTZ
 
Signed-off-by: Yann Regis-Gianas <yann@nomadic-labs.com>
1 parent b983c92
History
File Mode Size
contracts
contracts_coq
michocoq
michocott
back to top