Stream: Coq users

Topic: ✔ Counting operations used by a function


view this post on Zulip Malcolm Sharpe (Sep 09 2022 at 16:38):

Thanks for the links. My conclusions:

(This made me curious what's the most accessible library for monads in Coq, and that seems to be coq-ext-lib, which is in coq-platform.)

view this post on Zulip Notification Bot (Sep 09 2022 at 16:38):

Malcolm Sharpe has marked this topic as resolved.

view this post on Zulip John Wiegley (Sep 09 2022 at 16:54):

I’d like to offer that I’m working on a new sub-library for my category-theory library that aims to make Monads very easy to work with in Coq, while leveraging the power of the larger library when proving that some construction is, in fact, a lawful Monad.


Last updated: Jan 29 2023 at 01:02 UTC