From 8a838fed4343b242a64dba958a64cad08b81dfa3 Mon Sep 17 00:00:00 2001 From: Levi Neuwirth Date: Sat, 29 Aug 2026 22:22:25 +0200 Subject: [PATCH] auto: 2026-08-29T20:22:25Z [skip ci] --- content/work.md | 1 + 1 file changed, 1 insertion(+) diff --git a/content/work.md b/content/work.md index f462704..86b1ce8 100644 --- a/content/work.md +++ b/content/work.md @@ -57,6 +57,7 @@ Technical write-up expected Q4 2026, for review and publication. ::: ::: {.work-entry-links} +[Case study](/essays/verified-inference/) · [Merged pull requests](https://github.com/JamesPetrie/VerInf/pulls?q=is%3Apr+author%3Alevineuwirth) · [Upstream repository](https://github.com/JamesPetrie/VerInf) · [MARS](https://caish.org/mars)