Prosa • The Bozhko26 Edition

The “Bozhko26 edition” is the version of Prosa discussed by Sergey Bozhko in his dissertation.

Download

Download the edition here: prosa-Bozhko26.tar.bz2

Reading Prosa

The “Bozhko26 edition” of Prosa uses CoqdocJS to obtain a prettier spec.

• Read the Prosa “Bozhko26 edition” specification and proofs.

Alternatively, there is also a plain coqdoc version without proofs (which is better suited for printing to PDF).

• Read the Prosa “Bozhko26 edition” specification without proofs.