GitHub repository: n-osborne/CoqLambdaCalculus
Primary language: Coq
Created: 2018-12-05T22:09:28Z
Description: Lambda Calculus Modelisation using Coq proof assistant