Closed sskeirik closed 3 years ago
Fixes: runtimeverification/firefly-michelson#21
The testing harness needs to be adapted to allow markdown files for proofs @sskeirik
Fixes: runtimeverification/firefly-michelson#21