#

coq-proof-assistant

Here is 1 public repository matching this topic...

querycert / qcert

Compilation and Verification of Data-Centric Languages

sql compiler functional-programming verification query-engine query-language verified-compiler coq-proof-assistant

Updated Jul 17, 2024
Coq

Improve this page

Add a description, image, and links to the coq-proof-assistant topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the coq-proof-assistant topic, visit your repo's landing page and select "manage topics."