https://gitlab.com/nomadic-labs/mi-cho-coq
History
Tip revision: 75aba35e65ea15cdc360afcebc47185f713a0c1e authored by Raphaƫl Cauderlier on 11 March 2021, 14:59:19 UTC
WIP: redefine the evaluator to use fst and snd instead of
Tip revision: 75aba35
Error
404

Resource not found

NotFoundExc: Directory entry with path src/contracts_coq/fa12_interface.v from root directory 7c22f2abf0259f79d1aec2ff8a7c5d1dc41704a5 not found
back to top