There was a paper a few years ago[0] was related to proving soundness. That could be what they meant. [0] https://plv.mpi-sws.org/rustbelt/popl18/paper.pdf htt

There was a paper a few years ago[0] was related to proving soundness. That could be what they meant. [0] https://plv.mpi-sws.org/rustbelt/popl18/paper.pdf https://plv.mpi-sws.org/rustbelt/popl18/paper.pdf