Open GNewland1 opened 1 year ago
Both Lean articles are written for a cooperate reader who might use their services, as a learner not in that world it proved to be confusing in a way that made it hard to absorb the core of the information
Both Lean articles are written for a cooperate reader who might use their services, as a learner not in that world it proved to be confusing in a way that made it hard to absorb the core of the information