docs: convert core and prover docs to mdbook project and add CI#3275

Merged

popzxc merged 1 commit intomainfrom 3185-deploy-core-and-prover-documentation-to-gh-pages-rebased

Nov 15, 2024

+654-14

Commits on Nov 14, 2024

docs: convert core and prover docs to mdbook project and add CI
antonbaliasnikov
committed