https://gitlab.com/nomadic-labs/mi-cho-coq
History
Tip revision: 044b7be6b424c5b43733960ee9615c634444a8c6 authored by Raphaƫl Cauderlier on 30 May 2019, 22:17:41 UTC
Proofs of extensionality for sets and maps
Tip revision: 044b7be
Error
404

Resource not found

NotFoundExc: Directory entry with path src/contracts_coq/fa12_dexter.v from root directory 60e19e1b527084d34e527d6fe6d3d65a93b01b2b not found
back to top