leanprover-community / mathlib

  • Home
  • Zulip archive
  • API documentation
  • Lean web editor
  • Links

Zulip Chat Archive

Stream: PhysLean

Topic: PhysLean's APIs


Joseph Tooby-Smith (Sep 02 2025 at 08:15):

I made a list of PhysLean's APIs at:

  • https://physlean.com/APIs

Containing the APIs we currently have, and may want in the (near) future, and which need improving etc. If anyone has anything they think would be good to add, let me know :).


Last updated: Dec 20 2025 at 21:32 UTC

Theme Simple by wildflame © 2016 Powered by jekyll