From: Ralf Jung <post@ralfj.de>
Date: Wed, 15 Jan 2025 12:52:47 +0000 (+0100)
Subject: add itree-program-logic paper
X-Git-Url: https://git.ralfj.de/web.git/commitdiff_plain/cbf690bdc20376d9f620cab580985add85c2e7a0?hp=cbf690bdc20376d9f620cab580985add85c2e7a0

add itree-program-logic paper
---