dockerfile/examples/omnivore/content-fetch/readabilityjs/test/test-pages/mathoverflow/url.txt

https://mathoverflow.net/questions/376839/what-makes-dependent-type-theory-more-suitable-than-set-theory-for-proof-assista