Stream: coq-community devs & users

Topic: coq-ext-lib : No proof for FMapTwoThreeK


view this post on Zulip Yves Bertot (Jul 21 2020 at 12:56):

Hello, I noticed that the algorithms in FMapTwoThreeK have no proofs attached. Is this beggin for volunteers or is the prevailing opinion that proofs are not needed for this part of the code (and what would be the reason)?

view this post on Zulip Li-yao (Jul 21 2020 at 13:00):

Is this beggin for volunteers

That looks like it to me.

view this post on Zulip Gregory Malecha (Aug 01 2020 at 13:35):

Volunteers would we great.

view this post on Zulip Notification Bot (Aug 02 2020 at 13:38):

This topic was moved by Théo Zimmermann to #Coq Platform devs & users > coq-ext-lib


Last updated: Feb 04 2023 at 02:03 UTC