yiyunliu/eta-expand-confluence
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
eta-expand-confluence/theories
History
Exact
Yiyun Liu 5dbde6d45f Add alternative direct commutativity proof
2025-04-13 21:46:22 -04:00
..
Autosubst2 Add syntax spec 2025-04-07 23:35:48 -04:00
confluence.v Add alternative direct commutativity proof 2025-04-13 21:46:22 -04:00