Xavier's nitpicks for #1129

creusot-rs / creusot

Creusot helps you prove your code is correct in an automated fashion.

GNU Lesser General Public License v2.1

1.15k stars 50 forks source link

Closed jhjourdan closed 1 month ago