From a64a0246656e863c7cc57a5a23823cea084d6eed Mon Sep 17 00:00:00 2001
From: AmalyStark <129071621+AmalyStark@users.noreply.github.com>
Date: Mon, 1 Jan 2024 17:31:09 +0200
Subject: [PATCH] =?UTF-8?q?Update=20Post=20=E2=80=9Copen-sourcing-the-star?=
 =?UTF-8?q?knet-prover=E2=80=9D?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit