I have been working on developing Coq plugins for more than one year.
However, I am still struggling with the architecture of Coq source code and often can not find suitable functions inner Coq to implement my ideas.
The only resource explaining the Coq architecture found by me is
https://www.dc.fi.udc.es/staff/freire/coqdoc/pauillac.inria.fr/coq/doc/n111.html, which is developed in 1998 and very old.
Could you suggest some blogs/documents/websites to me?