The more I think about it, the more I think I should use ExtLib in place of my home-grown coq-prelude package.

But, after two years, it’s hard to let it go! @_@

Sign in to participate in the conversation

Server run by the main developers of the project 🐘 It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!