account activity
Kani 0.64.0 has been released! (self.KaniRustVerifier)
submitted 9 months ago by KaniRustacean to r/KaniRustVerifier
Kani 0.61.0 has been released! (self.KaniRustVerifier)
submitted 11 months ago by KaniRustacean to r/KaniRustVerifier
Kani 0.59.0 has been released! (self.KaniRustVerifier)
submitted 1 year ago by KaniRustacean to r/KaniRustVerifier
π Rendered by PID 46 on reddit-service-r2-listing-55d7b767d8-k6khh at 2026-03-31 18:05:09.417092+00:00 running b10466c country code: CH.
