querycert

querycert

🏢 Organization

1 repository on SrcLog

View on GitHub
1 Repos
52 Stars
9 Forks
52 Watchers

Repositories (1)

qcert querycert/qcert Coq

Compilation and Verification of Data-Centric Languages

52