Posts
Comments
Comment by
hoghoghoghoghog on
What's up with Arbital? ·
2017-03-29T22:55:58.523Z ·
LW ·
GW
Is there a description anywhere of the history of Arbital development?
Specifically I once heard a 4th-hand description of Arbital as "the Stacks Project, but for everything." It seemed to me at the time that a good step would be to 'simply' extend the Stacks project until it encompasses all of math[*]. I'd like to know which of Arbital's difficulties would still apply there.