Draft: mock the contract - #77

clarus wants to merge 1 commit into

Draft: mock the contract#77
clarus wants to merge 1 commit into
marinade-finance:mainfrom
formal-land:guillaume-claret@make-mock-contract-version

feat: compile in the same version as coq-of-rust