aya-prover/aya-dev

Re #562

Closed this issue · 1 comments

#562 hasn't been implemented in the new version yet

Fixed