So I think the Stacks L2 project basically represents a lot of that. For example, a lot of R&D work went into designing really safe programming languages. Similarly, on the consensus side, a ton of ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results