Excellent work. Kudos to the author(s). I have been looking for a way to write verified performant practical software for a long time, and CreuSAT is an example

Excellent work. Kudos to the author(s). I have been looking for a way to write verified performant practical software for a long time, and CreuSAT is an example of how it can be done using Creusot. Thanks!