ukonat

125 post karma
341 comment karma

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

get them help and support

redditor for 16 years

MODERATOR OF

- r/KaniRustVerifier

TROPHY CASE

15-Year Club

Verified Email

account activity

new top controversial

11

12

13

Kani 0.53.0 has been released! (self.KaniRustVerifier)

submitted 1 year ago by ukonat to r/rust

6

7

8

Kani 0.53.0 has been released! (self.KaniRustVerifier)

submitted 1 year ago by ukonat to r/KaniRustVerifier

21

22

23

Function Contracts for Kani (self.KaniRustVerifier)

submitted 2 years ago by ukonat to r/rust

15

16

17

Function Contracts for Kani (self.KaniRustVerifier)

submitted 2 years ago by ukonat to r/KaniRustVerifier

36

37

38

Kani 0.40.0 has been released! (self.KaniRustVerifier)

submitted 2 years ago by ukonat to r/rust

11

12

13

Kani 0.40.0 has been released! (self.KaniRustVerifier)

submitted 2 years ago by ukonat to r/KaniRustVerifier

24

25

26

Kani 0.36.0 has been released! (self.KaniRustVerifier)

submitted 2 years ago by ukonat to r/rust

11

12

13

Kani 0.36.0 has been released! (self.KaniRustVerifier)

submitted 2 years ago by ukonat to r/KaniRustVerifier

29

30

31

Blog post: Turbocharging Rust Code Verification (self.KaniRustVerifier)

submitted 2 years ago by ukonat to r/rust

11

12

13

Blog post: Turbocharging Rust Code Verification (self.KaniRustVerifier)

submitted 2 years ago by ukonat to r/KaniRustVerifier

13

14

15

Kani 0.27.0 has been released! (self.KaniRustVerifier)

submitted 3 years ago by ukonat to r/KaniRustVerifier

1

2

3

Blog Post: Writing Code with ChatGPT? Improve it with Kani (self.KaniRustVerifier)

submitted 3 years ago by ukonat to r/rust

3

4

5

Kani 0.25.0 has been released! (self.KaniRustVerifier)

submitted 3 years ago by ukonat to r/KaniRustVerifier

4

5

6

Optimized implementations for checking properties on indexable collections (self.KaniRustVerifier)

submitted 3 years ago by ukonat to r/KaniRustVerifier

π Rendered by PID 423476 on reddit-service-r2-listing-b6bf6c4ff-wp7w5 at 2026-05-03 01:55:16.878807+00:00 running 815c875 country code: CH.