Yves Bertot (Jul 21 2020 at 12:56): 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)?
Li-yao (Jul 21 2020 at 13:00):Is this beggin for volunteers
That looks like it to me.
Gregory Malecha (Aug 01 2020 at 13:35):Volunteers would we great.
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: Jun 03 2023 at 18:01 UTC