Proposal: structure documentation on Rocq website according to Diátaxis #26
rocq-prover.org-deployment / Docker image build for rocq-prover.org
succeeded
Jan 2, 2025 in 3m 9s
Completed
Built
Details
Docker image was built successfully
Loading