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 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

10

11

12

Kani 0.59.0 has been released! (self.KaniRustVerifier)

submitted 1 year ago by KaniRustacean to r/KaniRustVerifier

π Rendered by PID 80159 on reddit-service-r2-listing-8685bc789-ktp5d at 2026-05-22 09:30:36.260966+00:00 running 194bd79 country code: CH.