LESSWRONG
LW

hoghoghoghoghog
7010
Message
Dialogue
Subscribe

Posts

Sorted by New

Wikitag Contributions

Comments

Sorted by
Newest
No wikitag contributions to display.
What's up with Arbital?
hoghoghoghoghog8y70

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.

Reply
No posts to display.