User:RedrickSchu/sandbox

Focused Research Organization (FRO)
A Focused Research Organization, or FRO, is a type of non-profit organization designed to address technical problems or perform scientific research. They differ from academic research labs in that they have medium-sized teams with corporate structures, embrace projects which are unlikely to yield publishable results, and frequently involve scientists and engineers collaborating across disciplines. FRO projects are not profitable enough in their initial stages for them to constitute a startup company, and unlike think tanks or research institutes, tend to pursue specific technical goals rather than general research. Once their technical goals are achieved, FROs may evolve into more traditional non-profits, or become backed by venture capital and transform into startups.

Examples
stuff to consider: https://www.nature.com/articles/d41586-022-00018-5
 * Development for Lean (proof assistant) is supported by a Focused Research Organization.
 * E11 bio has a goal of creating a single-cell neural circuit mapping tool.
 * Convergent Research supports the creation and funding of these and other FROs, like a business incubator does with startups.

https://archive.org/details/naturecom_d41586-022-00018-5

Lean article:

https://www.quantamagazine.org/the-deep-link-equating-math-proofs-and-computer-programs-20231011/

https://www.quantamagazine.org/building-the-mathematical-library-of-the-future-20201001/