Hacker News new | ask | show | jobs
by mrnoone 770 days ago
Some other tool (Coq-based) to formally verify unsafe Rust https://gitlab.mpi-sws.org/lgaeher/refinedrust-dev