t_wの輪郭

Feedlyでフォローするボタン
SQLクエリ

HoTTSQL

2025/7/6 12:37:00

HoTTSQL（Homotopy Type Theory SQL）はCoqによってSQLの書き換え規則を数学的に証明

『HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics』