There is also Coq's documentation system, which has its own distinctive look: https://softwarefoundations.cis.upenn.edu/lf-current/Basics.html https://software

There is also Coq's documentation system, which has its own distinctive look: https://softwarefoundations.cis.upenn.edu/lf-current/Basics.html https://softwarefoundations.cis.upenn.edu/lf-current/Basics....