leanprover-community / mathlib

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

Zulip Chat Archive

Stream: LftCM22

Topic: C^k ODE solutions


Ryan McCorvie (Jul 11 2022 at 19:24):

I would be interested to help work on this

Heather Macbeth (Jul 11 2022 at 19:57):

@Ryan McCorvie I can discuss with you later today. You also mentioned being interested in power series, and there's a group that started on this (@Emil Sköldberg , @Phil Wood ) -- you could talk with them!


Last updated: May 02 2025 at 03:31 UTC

Theme Simple by wildflame © 2016 Powered by jekyll