Documentation for Prosa Work-in-Progress Branches

See also the list of branches on Gitlab.

Documentation is available for the following branches:

classic-prosa — specification and proofs: tree | table of contents | index
- Alternative: current Prosa specification without proofs: tree | table of contents | index
- browse branch on GitLab
- diff to master
- download documentation (ZIP)
embed_arr_seq_uniq
- browse branch on GitLab
- download documentation (ZIP)
fset
- browse branch on GitLab
- download documentation (ZIP)
master — specification and proofs: tree | table of contents | index
- Alternative: specification with steppable proofs and interspersed proof state
- Alternative: current Prosa specification without proofs: tree | table of contents | index
- browse branch on GitLab
- download documentation (ZIP)
prepare_MC_PR — specification and proofs: tree | table of contents | index
- Alternative: specification with steppable proofs and interspersed proof state
- Alternative: current Prosa specification without proofs: tree | table of contents | index
- Classic Prosa specification with proofs: tree | table of contents | index
- Alternative: classic Prosa specification without proofs: tree | table of contents | index
- browse branch on GitLab
- diff to master
- download documentation (ZIP)
tutorial — specification and proofs: tree | table of contents | index
- Alternative: specification with steppable proofs and interspersed proof state
- Alternative: current Prosa specification without proofs: tree | table of contents | index
- The Prosa tutorial
- browse branch on GitLab
- diff to master
- download documentation (ZIP)
wip-hunspell — specification and proofs: tree | table of contents | index
- Alternative: current Prosa specification without proofs: tree | table of contents | index
- browse branch on GitLab
- diff to master
- download documentation (ZIP)

This list and the corresponding documentation is updated approximately every five minutes. If a branch is persistently missing from this list, then the GitLab CI job doc failed to produce HTML output (or the branch does not have CI configured appropriately).