Stream: math-comp users

Topic: ✔ Instantiate [exists _, _]

view this post on Zulip Notification Bot (Nov 03 2022 at 16:38):

Cyril Cohen has marked this topic as resolved.

view this post on Zulip Pierre Roux (Nov 04 2022 at 08:42):

@Ana de Almeida Borges added: https://github.com/math-comp/math-comp/pull/941

view this post on Zulip Ana de Almeida Borges (Nov 04 2022 at 11:35):

Awesome!

Last updated: Jan 29 2023 at 19:02 UTC