ernius / formalmetatheory-nominal

Alpha-Structural Induction and Recursion for the Lambda Calculus in Constructive Type Theory

http://ernius.github.io/formalmetatheory-nominal/

Geek Repo

Github PK Tool