yiyunliu/pair-eta
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
pair-eta/theories
History
Exact
Yiyun Liu 1f7460fd11 Add new syntax for booleans
2025-01-20 20:42:40 -05:00
..
Autosubst2 Add new syntax for booleans 2025-01-20 20:42:40 -05:00
compile.v Add new syntax for booleans 2025-01-20 20:42:40 -05:00
diagram.txt Add outermost expansion and some related lemmas 2024-12-23 01:13:55 -05:00
fp_red.v Refactor the equational theory to use the compile function 2025-01-20 20:11:51 -05:00
logrel.v Refactor the equational theory to use the compile function 2025-01-20 20:11:51 -05:00