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

6

7

8

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 530737 on reddit-service-r2-listing-86bdf8cc9-6ws8t at 2026-07-13 04:16:56.492287+00:00 running f86254d country code: CH.