Show HN: A formally verified native Delta Lake implementation in Rust https://news.ycombinator.com/item?id=33004716

Show HN: A formally verified native Delta Lake implementation in Rust https://github.com/delta-io/delta-rs September 27, 2022 at 11:03PM