Sponsor PhysLean

If you’d be interested helping support PhysLean financially please reach out to Joseph Tooby-Smith at:

• js4814 [at] bath [dot] ac [dot] uk

or on the Lean Zulip (preferred).

Financial support will allow us to:

• Host servers for an online version of PhysLean and search engines
• Increase the rate of development of the project, and documentation