Stream: math-comp analysis

Topic: Mathcomp 2 + analysis


view this post on Zulip Zachary Stone (May 18 2023 at 14:59):

With the release of mathcomp 2 (congrats!), I'd love to see the analysis/hierarchy-builder branch made the new master. I'll have a bit of time next week, and I would be happy to contribute here.

  1. Who is currently working on this? If there's something I can help with, I'm available for it.
  2. Are there any known issues, or dependencies we're waiting on? I know the hierarchy-builder branch had all sorts of special nix configuration that'll likely need to be changed.

view this post on Zulip Pierre Roux (May 18 2023 at 15:30):

The only dependency left to merge is finmap: https://github.com/math-comp/finmap/pull/84
Other than that, on Analysis side, the only remaining work before merging is updating the doc (file headers and changelog file).

view this post on Zulip Reynald Affeldt (May 18 2023 at 15:43):

We can anticipate a bit and already prepare the formatting of the doc in master following https://github.com/math-comp/math-comp/wiki/How-to-document .

view this post on Zulip Jason Gross (Aug 22 2023 at 19:20):

The finmap PR has been merged, any update on this?

view this post on Zulip Reynald Affeldt (Aug 23 2023 at 00:52):

view this post on Zulip Reynald Affeldt (Aug 23 2023 at 00:55):

(I answered before reading this topic https://coq.zulipchat.com/#narrow/stream/237664-math-comp-users/topic/mathcomp.202.2E0.20status.3F)

view this post on Zulip abab9579 (Sep 19 2023 at 07:27):

Woah already mathcomp 2? Congrats!


Last updated: Jun 22 2024 at 16:02 UTC