Refine description of "About" and mention transparency. - #19716

Refine description of "About" and mention transparency.#19716

coqbot-app[bot] merged 1 commit into

rocq-prover:masterrocq-prover/rocq:masterfrom

jfehrle:about_transparencyjfehrle/coq:about_transparencyCopy head branch name to clipboard