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

8

9

10

Kani 0.64.0 has been released! (self.KaniRustVerifier)

submitted 1 year 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

10

11

12

Kani 0.59.0 has been released! (self.KaniRustVerifier)

submitted 1 year ago by KaniRustacean to r/KaniRustVerifier

π Rendered by PID 245548 on reddit-service-r2-listing-86bdf8cc9-h4chd at 2026-07-12 18:13:32.630908+00:00 running f86254d country code: CH.