Verifpal, Rewritten in Rust

1 points by nadim