Gillian-Rust
============

In ongoing work, we are developing an instantiation of Gillian for Rust called Gillian-Rust. See `the current paper draft <https://arxiv.org/abs/2403.15122>`_.