Show HN: A formally verified native Delta Lake implementation in Rust #1 Post by houqp » Wed, Sep 28, 2022, 6:03 AM UTC Show HN: A formally verified native Delta Lake implementation in Rustgithub.com