yiyunliu/sp-eta-postpone
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Compare commits

base: yiyunliu:master
Branches Tags
yiyunliu:master
yiyunliu:nonessential
yiyunliu:tstar
..
compare: yiyunliu:tstar
Branches Tags
yiyunliu:master
yiyunliu:nonessential
yiyunliu:tstar

1 commit
master ... tstar

Author SHA1 Message Date
Yiyun Liu
a27c41c5d1 Add lemmas that bad forms are impossible 2025-01-29 12:19:45 -05:00
1 changed files with 344 additions and 730 deletions
Show stats Expand all files Collapse all files

1074
theories/fp_red.v
View file

File diff suppressed because it is too large Load diff