From 6de8486234c0affc2e1c67022fed7dbafef943c8 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Liam=20O=E2=80=99Connor?= Date: Mon, 20 Apr 2026 16:05:11 +1000 Subject: [PATCH] testing CI with this commit --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index 1352172..f25ce83 100644 --- a/README.md +++ b/README.md @@ -1,5 +1,6 @@ ## Holbert NG + This is a new, from-scratch development of my [reconceived design](https://liamoc.net/forest/loc-000V) of the Holbert proof assistant -- the browser based Higher Order Logic proof assistant. Rather than a standalone web-app, Holbert NG will be a library of web components that can be seamlessly integrated into online documents. -- 2.51.2