I really want to get involve in a community effort to give #Coq 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

Welcome to your niu world ! We are a cute and loving international community O(≧▽≦)O !