yiyunliu/pair-eta
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
82 commits 13 branches 0 tags 172 KiB
Commit graph

2 commits

Author SHA1 Message Date
Yiyun Liu
86dab74384 Add outermost expansion and some related lemmas 2024-12-23 01:13:55 -05:00
Yiyun Liu
a38a6eb8e8 Stuck at diamodn property 2024-12-22 23:51:01 -05:00