Dokaz (formerly spec-to-proof)
Copyright 2026 Alex Sova

This product includes software developed by Alex Sova
(https://gnomonapplied.com).

The folder business/ is not covered by the Apache License 2.0:
Copyright 2026 Alex Sova, all rights reserved.