Someone has already tried this: as a source for "large chunks of algebraic geometry presented in an accessible form" they used the [Stacks Project][1]. You can read more about the results here:

Chojecki, P. (2017), *[DeepAlgebra - An Outline of a Program][2]*. In: Geuvers H., England M., Hasan O., Rabe F., Teschke O. (eds), *Intelligent Computer Mathematics - CICM 2017*, Lecture Notes in Computer Science, vol 10383, Springer.

  [1]: https://stacks.math.columbia.edu/
  [2]: https://link.springer.com/chapter/10.1007%2F978-3-319-62075-6_1