Verus: Verifying Rust Programs Using Linear Ghost Types (Extended Version)arxiv.org2 points·PaulHoule··0 commentsOpen articleSaveView on HN