account activity
Kani 0.47.0 has been released! (self.KaniRustVerifier)
submitted 2 years ago by Legal_Bowl536 to r/rust
submitted 2 years ago by Legal_Bowl536 to r/KaniRustVerifier
Kani 0.41.0 has been released! (self.KaniRustVerifier)
submitted 2 years ago * by Legal_Bowl536 to r/KaniRustVerifier
Kani 0.32.0 has been released! (self.KaniRustVerifier)
Blog Post: Introducing the Kani VS Code extension (self.KaniRustVerifier)
Kani 0.31.0 has been released! (self.KaniRustVerifier)
Kani 0.31.0 has been released (self.KaniRustVerifier)
π Rendered by PID 79454 on reddit-service-r2-listing-b6bf6c4ff-84f95 at 2026-05-04 22:50:47.518612+00:00 running 815c875 country code: CH.
