This website requires JavaScript.
Explore
Help
Sign in
yiyunliu
/
pair-eta
Watch
1
Star
0
Fork
You've already forked pair-eta
0
Code
Issues
Pull requests
Projects
Releases
Packages
Wiki
Activity
Actions
2478c0f2e1
pair-eta
/
theories
History
Yiyun Liu
2478c0f2e1
Add prov ren
2024-12-24 23:50:02 -05:00
..
Autosubst2
Need to tweak the definition of Prov
2024-12-24 15:31:50 -05:00
diagram.txt
Add outermost expansion and some related lemmas
2024-12-23 01:13:55 -05:00
fp_red.v
Add prov ren
2024-12-24 23:50:02 -05:00