I really want to get involve in a community effort to give better documentation tooling.

I would also really like to work on that!

Although I have no idea what documentation in Coq should look like to account for dependent types.

I'm pretty sure all it takes is just starting something, but as always people are busy.

@lyxia well to be honest i don’t know where to start. ):

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!