yiyunliu/pair-eta
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
pair-eta/theories
History
Exact
Yiyun Liu 0f1e85c853 Prove injectivity of Pair and Lambdas
2025-01-10 13:31:58 -05:00
..
Autosubst2 Generalize Pi to TBind so we have both sigma and pi 2024-12-27 12:12:19 -05:00
diagram.txt Add outermost expansion and some related lemmas 2024-12-23 01:13:55 -05:00
fp_red.v Prove injectivity of Pair and Lambdas 2025-01-10 13:31:58 -05:00
logrel.v Prove most of the confluence results for eta reduction 2025-01-09 20:21:38 -05:00