Zulip Chat Archive
Stream: general
Topic: mathlib costs
Arthur Paulino (Nov 15 2021 at 22:54):
i'm curious, does mathlib have costs (CI/azure)? If so, how is the project being financed?
Arthur Paulino (Nov 15 2021 at 22:54):
(deleted)
Kevin Buzzard (Nov 15 2021 at 22:55):
There are various academic grants and we have links with MSR
Arthur Paulino (Nov 15 2021 at 22:59):
I'm glad to see it working :tada:
Last updated: Dec 20 2023 at 11:08 UTC