|
|
|
|
|
|
by wsx-antithesis
131 days ago
|
|
|
Hi, I (Shuxian) worked with Michael on this project. Happy to answer any questions!
We'll also post a followup next week on formally verifying our unsafe primitives in the style of RustBelt (https://plv.mpi-sws.org/rustbelt), if that interests you. |
|
|