1 2 3 4 5 6
- Refactor cokernel's solve commutative diagram - Refactor more code into smaller compartments - (polynomial) comodule parser - Github Copilot for comments everywhere ? - Speedup Program ?