Home > #formal-verification
Tag: #formal-verification
1 package âĸ â 1 total stars
Add formal type safety (10 levels, dependent/linear/session types) to any query language â SQL, GraphQL, Cypher, SPARQL, VQL
1 package âĸ â 1 total stars
Add formal type safety (10 levels, dependent/linear/session types) to any query language â SQL, GraphQL, Cypher, SPARQL, VQL