deep-foundation / deep-foundation/deep-theory
Make singlets recursive expansion up to 0 and 1.
Open
- Dominant language
- Coq
- Stars
- 3
- Forks
- 3
- PR merge metrics
- No merged PRs in 30d
Description
https://github.com/linksplatform/Theory/blob/9dc6561520b3245983cf281c6e9f8864792bafa3/singlets/singlets.cpp#L26-L34
Add additional branches to allow going into `(3, 0)` to make it `(((0, 1), 0), 0)`
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.