Stream: math-comp users

Topic: RFC ssrmap


view this post on Zulip Enrico Tassi (Nov 01 2022 at 16:00):

FYI: https://coq.zulipchat.com/#narrow/stream/237977-Coq-users/topic/Request.20for.20Comments.2F.20Code.20review

view this post on Zulip walker (Nov 01 2022 at 16:27):

I was conflicted to put it here or there in coq users ....

view this post on Zulip walker (Nov 01 2022 at 16:28):

feel free to move things around where you see fit!

view this post on Zulip Karl Palmskog (Nov 01 2022 at 16:41):

since the project in question extensively uses MathComp and SSR, I will move it here for higher chance of focused discussion


Last updated: Jan 29 2023 at 18:03 UTC