> If you want a good one you'd have to set up your own and aggressively curate it
Expect a community library with only books on homotopy type theory and quantum computing soon!
Expect a community library with only books on homotopy type theory and quantum computing soon!
Darn it, now I almost want to start a competitor to the LFLs hehe.