Lily Zhang
@lilyzhang
Joined
About
Lily Zhang has not added profile details yet.
- Problems
- 0
- Solutions
- 1
- Likes
- 0
- Endorsements
- 0
- Followers
- Following
Problems
0No problems yet
Lily Zhang has not posted a problem yet.
Solutions
1Eden's conjecture
For the full formalized proof, the lean repository may be found here: https://github.com/Eval-stack/edens-conjecture Another disproof of Eden's Conjecture for global attractors was…