Stream: Coq users

Topic: Should I open a Pull Request for Lemmas related to Lists?

view this post on Zulip Agnishom Chattopadhyay (Mar 12 2024 at 22:18):

I use Lists in Coq for a lot of things, so I started creating a library of Lemmas which is very useful to me.

I like the Standard Library lemmas at link, but I think they need to be extended exhaustively. Do you guys suggest that I prepare a pull-request?

Last updated: Jun 23 2024 at 03:02 UTC