aboutsummaryrefslogtreecommitdiff
path: root/README.md
diff options
context:
space:
mode:
Diffstat (limited to 'README.md')
-rw-r--r--README.md2
1 files changed, 1 insertions, 1 deletions
diff --git a/README.md b/README.md
index ec2aef0..d9addee 100644
--- a/README.md
+++ b/README.md
@@ -2,4 +2,4 @@
Write-up: pending
-Formalisation: [y_and_j.v](y_and_j.v)
+Formalisation: [y_and_j.v](y\_and\_j.v)
generated by cgit v1.2.3 (git 2.46.0) at 2026-08-30 08:46:27 +0000