Documentation for Prosa Branches

Available branches:

Main Branches
- master
- classic-prosa
Work-in-Progress Branches

See also the list of branches on Gitlab.

Main Branches

master

specification and proofs: tree | table of contents | index
Alternative: specification with steppable proofs and interspersed proof state
Alternative: Prosa specification without proofs: tree | table of contents | index
browse branch on GitLab
download documentation (ZIP)

classic-prosa

specification and proofs: tree | table of contents | index
Alternative: Prosa specification without proofs: tree | table of contents | index
browse branch on GitLab
download documentation (ZIP)

Work-in-Progress Branches

embed_arr_seq_uniq

fset

prepare_MC_PR

tutorial

specification and proofs: tree | table of contents | index
Alternative: specification with steppable proofs and interspersed proof state
Alternative: 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: 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).