yiyunliu/eta-expand-confluence
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
eta-expand-confluence/theories/Autosubst2
History
Yiyun Liu 5cf82dae12 Add syntax spec
2025-04-07 23:35:48 -04:00
..
core.v Add syntax spec 2025-04-07 23:35:48 -04:00
syntax.v Add syntax spec 2025-04-07 23:35:48 -04:00
unscoped.v Add syntax spec 2025-04-07 23:35:48 -04:00