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. ):
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!