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

@lthms
I would also really like to work on that!

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

@lthms
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
niu.moe

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