Kamirus/lambda-formalizations

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

Language: Coq - Size: 388 KB - Last synced at: 5 months ago - Pushed at: over 3 years ago - Stars: 4 - Forks: 1