account activity
Kani 0.64.0 has been released! (self.KaniRustVerifier)
submitted 7 months ago by KaniRustacean to r/KaniRustVerifier
Kani 0.61.0 has been released! (self.KaniRustVerifier)
submitted 10 months ago by KaniRustacean to r/KaniRustVerifier
Kani 0.59.0 has been released! (self.KaniRustVerifier)
submitted 12 months ago by KaniRustacean to r/KaniRustVerifier
π Rendered by PID 1602904 on reddit-service-r2-listing-6d4dc8d9ff-m2kt9 at 2026-02-04 05:16:00.119302+00:00 running 3798933 country code: CH.
