Topic: Future projects as Wiki?
Kevin Buzzard (Jan 12 2020 at 22:27):
Chris has written a roadmap for algebraic closure. I am wondering whether this could be in the mathlib wiki? @Reid Barton also described to me a small mathlib-appropriate project which he didn't have time to do but which he had turned into a coherent roadmap (in particular he felt that he had found the correct way of setting up the theory, and was concerned that if someone else tried it without having put the same amount of thought into planning then there was a risk that they would set things up in a worse way). Would the wiki pages be appropriate for roadmaps?
Last updated: May 19 2021 at 00:40 UTC