Follow

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

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!