Q*cert

MaRDI QIDQ40389swMATHFDO

Official website https://querycert.github.io/

Cited in

(4)

• HoTTSQL
• SEQUEL
• SQLCert
• A Coq formalisation of SQL's execution engines

This page was built for software: Q*cert