Update README.md

Author: KaminariOS

README.md

@@ -886,7 +886,7 @@ See also [Are we (I)DE yet?](https://areweideyet.com/) and [Rust Tools](https://
 
 * [facebookexperimental/MIRAI](https://github.com/facebookexperimental/mirai) - an abstract interpreter operating on Rust's mid-level intermediate representation (MIR) [![Continuous Integration](https://github.com/facebookexperimental/mirai/actions/workflows/rust.yml/badge.svg)](https://github.com/facebookexperimental/mirai/actions/workflows/rust.yml)
 * [static_assertions](https://crates.io/crates/static_assertions) - Compile-time assertions to ensure that invariants are met
-* [verus-lang/verus](https://github.com/verus-lang/verus) - Verified Rust for low-level systems code 
+* [verus-lang/verus](https://github.com/verus-lang/verus) - Verified Rust for low-level systems code
 
 ### Testing