Programming & Proving Code is licensed under the AGPL-3.0-or-later. The articles are licensed under CC BY-SA 4.0.