Q*cert

swMATH28675MaRDI QIDQ40389FDOQ40389

Author name not available (Why is that?)

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

Cited In (4)

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

This page was built for software: Q*cert