6 ms·
Some other tool (Coq-based) to formally verify unsafe Rust https://gitlab.mpi-sws.org/lgaeher/refinedrust-dev https://gitlab.mpi-sws.org/lgaeher/refinedrust-dev
by mrnoone 2y ago
Some other tool (Coq-based) to formally verify unsafe Rust https://gitlab.mpi-sws.org/lgaeher/refinedrust-dev https://gitlab.mpi-sws.org/lgaeher/refinedrust-dev