prehistoric-systems/omnivore
1
0
Fork 0
mirror of https://github.com/omnivore-app/omnivore.git synced 2026-03-11 08:54:26 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions
omnivore/packages/readabilityjs/test/test-pages/mathoverflow/url.txt
Jackson Harper 84f32935f5 Open source omnivore
2022-02-11 09:24:33 -08:00

1 line
No EOL
122 B
Text
Raw Blame History

https://mathoverflow.net/questions/376839/what-makes-dependent-type-theory-more-suitable-than-set-theory-for-proof-assista
Reference in a new issue View git blame Copy permalink