If you had some critical Rust code you wanted to formally verify, what would it be? Send it to us!

Comments

Posting Rules

  • Be respectful to others
  • No spam or self-promotion
  • Stay on topic
  • Follow Bluesky's terms of service