Show HN: A formally verified native Delta Lake implementation in Rust https://ift.tt/BcXoeV4

Show HN: A formally verified native Delta Lake implementation in Rust https://ift.tt/MqiLhmT September 27, 2022 at 11:03PM