Verifpal, Rewritten in Rust (by nadim) — discussion

#cryptography #formalmethods #rust