mathlib icon indicating copy to clipboard operation
mathlib copied to clipboard

Published 20 hours ago • verified publisher icon leanprover-community

Formal roadmaps need to be explained and documented

Open jcommelin opened this issue 5 years ago • 0 comments

To do:

  • [ ] Add some documentation about, like, what a formal roadmap is supposed to be and how people should interact with them. Right now it's a directory with a confusing name and no explanation.
  • [x] It should also be added to CI, or the files in there will rot before too long.

See also https://leanprover.zulipchat.com/#narrow/stream/144837-PR-reviews/topic/.231914.20formal.20roadmap/near/188487184

jcommelin avatar Feb 19 '20 17:02 jcommelin