coq/doc/sphinx/_templates, branch master The formal proof system [sphinx] Add links to other versions of the refman 2020-05-09T21:23:43+00:00 Clément Pit-Claudel 2020-05-09T02:10:58+00:00 2f74daa02ac02d63f3f755c36b0749c8f91eb733