yiyunliu/pair-eta
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
pair-eta/README.md
Yiyun Liu 1bd6a8508e
Create README.md
2024-12-25 21:15:48 -05:00

128 B
Raw Permalink Blame History

This repository contains a proof of pi injectivity for an untyped equational theory with surjective pairing and extensionality.