Legal information
Licences and source
Who made this book, what you may do with it, and where to get the exact source of these pages.
Credits and changes
A Guide to Autonomy was written for the first PROOF conference (Vilnius, 2026) and is carried as a community project by Cypher Baltics. Copyright (C) 2026 the contributors of A Guide to Autonomy.
This English and Lithuanian edition was modified on 2026-10-23: the Markdown sources were revised and rendered as these static pages, with shared checklist actions, search, an offline copy, this page and a source archive. The full notice is in NOTICE.txt.
Licences
The book text and the editorial wording of the interface are under CC BY-SA 4.0; full text: LICENSE-CONTENT.txt. You may copy, translate, adapt and sell it if you credit the source, state your changes and share your adaptation of the text under the same licence.
The code (generator, browser script, styles, service worker, packaging scripts) is under AGPL-3.0-or-later; full text: LICENSE.txt. If you distribute a modified version, or let people use it over a network, offer them its corresponding source under the same licence.
Each page combines both layers: the book text stays under CC BY-SA 4.0, the markup and scripts come from AGPL code. Neither licence relicenses the other.
Source code
The exact source of these pages, in both languages: proof-guide-source-2026-10-23-r3.zip (ZIP, 1.5 MB). It contains the 46 Markdown sources, the generator, the interface, the action registries, the other build inputs, the licences and a README with the rebuild commands (Python 3 and Python-Markdown 3.9). It does not contain the rest of the conference site.
SHA-256 of the archive: ef35957b76edd263e567e78a11404d671fc3f5d8dfc03678113d128f5372b62f
The archive downloads online only and is not part of the offline copy. The licence texts linked on this page are.
Fonts and other resources
The JetBrains Mono and Righteous fonts are under the SIL Open Font License 1.1: JetBrains Mono licence, Righteous licence. “Righteous” is a Reserved Font Name.
The pages are built with Python-Markdown 3.9 (BSD 3-Clause licence, text in the source archive); it is not served to readers.
Linked websites, product names and brands belong to their owners and are not licensed by this book.
Names and logos
These licences give no right to the names, logos or visual identity of PROOF, the PROOF conference or Cypher Baltics. The other pages of proofconference.com, its photographs, videos, recordings and sponsor logos are not covered by them. A fork chooses its own name, logo and colours.
Resource note
A licence and publication review of this edition was carried out on 2026-10-22. It records the chosen licences and the terms of the resources above. It does not guarantee who owns every resource, nor clear every quotation, link or name. To report a problem: contact@proofconference.com.