HoTTSQL – Formally proving SQL query rewrite rules correctarxiv.org1 point·kachnuv_ocasek··0 commentsOpen articleSaveView on HN