- Minneapolis, MN
- https://mzhang.io
- Joined on
2020-07-21
Decide on a research project
Notes from this morning's meeting with Axel
- Meeting with Axel Ljungström
- Prev meeting was with Reed barton
- Cellular homology
- Doing homology…
Path between fibers for boolean equivalence
Decide on a research project
As discussed in 2024-05-09 meeting with Favonia, will reconsider focus towards just formalizing some math theorems.