3 ms·
Great work! As a follow up, I'd suggest a clear separation between comments and solutions, and then possibly within types of solutions. In particular, I'd be i
by falcor84 3y ago
Great work!
As a follow up, I'd suggest a clear separation between comments and solutions, and then possibly within types of solutions. In particular, I'd be interested in solutions via Lean4 code.