quark-coder/duckki--graphql-leanpublic

Formalization of GraphQL's syntax and semantics in Lean

Lean Updated 7 days ago 1 commits 8 stars
quark-coder|Mirror: duckki/graphql-lean (⭐8)
7 days ago

About

Formalization of GraphQL's syntax and semantics in Lean

Readme
8 stars
1 forks