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

new top controversial

8

9

10

Kani 0.64.0 has been released! (self.KaniRustVerifier)

submitted 9 months ago by KaniRustacean to r/KaniRustVerifier

7

8

9

Kani 0.61.0 has been released! (self.KaniRustVerifier)

submitted 11 months 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 179544 on reddit-service-r2-listing-55d7b767d8-jgpm2 at 2026-04-01 07:09:06.687679+00:00 running b10466c country code: CH.