Kamirus / lambda-formalizations

Lambda Calculi Formalizations in Coq using nested datatypes for a type-safe term representation

Geek Repo

Github PK Tool