GitHub repository: Barry-Jay/lambdaSF
Primary language: Coq
Created: 2016-02-17T03:45:27Z
Description: implementation of lambda-SF-calculus plus some basic theorems