Has anyone done something like the polymath project outside of math/cs?

Isn’t this just open source software?

Polyplexus is perhaps a stab at this.

Reference

  • Polymath Project - Wikipedia(https:
  • Twitter thread:[Ben Reinhardt on Twitter: “1. What are examples of something like the polymath project outside of math/CS where ‘correctness’ is formalized and machine-checkable?2. How do you evaluate whether designing the coordination system will be more work than it solves? (This is a very thought provoking thread.)… https:

Web URL for this note(https:

Comment on this note(https: