aya-prover/aya-dev

Pretty print JIT-compiled core definitions

Opened this issue · 0 comments

ice1000 commented

🤔