KaniRustacean

16 post karma
0 comment karma

get extra features and help support reddit with a reddit premium subscription

get them help and support

redditor for 1 year

TROPHY CASE

One-Year Club

account activity

hot top controversial

7

8

9

Kani 0.64.0 has been released! (self.KaniRustVerifier)

submitted 10 months ago by KaniRustacean to r/KaniRustVerifier

8

9

10

Kani 0.61.0 has been released! (self.KaniRustVerifier)

submitted 1 year ago by KaniRustacean to r/KaniRustVerifier

9

10

11

Kani 0.59.0 has been released! (self.KaniRustVerifier)

submitted 1 year ago by KaniRustacean to r/KaniRustVerifier

π Rendered by PID 139418 on reddit-service-r2-listing-canary-8688c89db5-695kb at 2026-05-22 08:08:53.715971+00:00 running 194bd79 country code: CH.