GitHub repository: rudynicolop/Lambda-Calculi-Coq
Primary language: Coq
Created: 2021-05-17T18:44:21Z
Description: Lambda-Calculi implementations & proofs in Coq