hds / lunch.rs Goto Github PK

Hi.

I would like to introduce drpint. A formatted written in Rust to keep code consistency. Having built in Rust, the local installation is just a single step cargo install.

Thanks for lunch.rs! 🏅

• Meet-up

  • Date: 2024-04-16
  • Date link
  • Call link

• Talk - Lightning talks ⚡️!

  • slot 1

• Promotion

  • Mastodon
  • This Week in Rust
  • LinkedIn
  • Reddit

• Post meet-up

  • Upload slides

• Meet-up

  • Date: 2024-03-19
  • Date link
  • Call link

• Talk

  • Talk title: Formal verification for Rust with coq-of-rust
  • Presenter name: Guillaume Claret
  • Presenter link: https://github.com/clarus
  • Summary: With formal verification, we can assert that a program contains no bugs for a specification, covering all execution cases. We present coq-of-rust https://github.com/formal-land/coq-of-rust , a formal verification tool for Rust that we developed. It works by translating Rust programs to the proof system Coq.

• Promotion

  • Mastodon
  • This Week in Rust (only on week)
  • LinkedIn
  • Reddit

• Post meet-up

  • Upload slides