doc: publish doc-gen4 API documentation to GitHub Pages#4

kim-em merged 1 commit into

mainleanprover/hex:mainfrom

docs-gen4leanprover/hex:docs-gen4Copy head branch name to clipboard