Show HN: A formally verified native Delta Lake implementation in Rust

8 points| houqp | 3 years ago |github.com