GitHub repository: k4rtik/lambda-qs
Primary language: Coq
Created: 2021-05-24T22:44:58Z
Description: Formalization of λ-Q#, a core calculus for Q# programming language