aya-dev icon indicating copy to clipboard operation
aya-dev copied to clipboard

Published 20 hours ago • verified publisher icon aya-prover

Investigate @imkiva's "is it a bug?"

Open ice1000 opened this issue 3 years ago • 2 comments 

    Is this a bug?

Originally posted by @imkiva in https://github.com/aya-prover/aya-dev/pull/633#discussion_r1014647012

ice1000 avatar Nov 06 '22 09:11 ice1000

What is it?

mio-19 avatar Dec 20 '22 03:12 mio-19

image

That we no longer lifted this and we did not need to

ice1000 avatar Dec 20 '22 06:12 ice1000

Deprecated due to the redesign of coe

ice1000 avatar May 23 '24 05:05 ice1000