From 231d5dfafabf84c5156226675ca148b25f297555 Mon Sep 17 00:00:00 2001 From: mrwulf Date: Mon, 6 Jul 2026 20:05:05 +0200 Subject: [PATCH] LTL docs: site-wide nav (notes / code / cv) in the header line Co-Authored-By: Claude Fable 5 --- provider/src/pacta_provider/webdocs.py | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/provider/src/pacta_provider/webdocs.py b/provider/src/pacta_provider/webdocs.py index 580bbd1..a8d3b38 100644 --- a/provider/src/pacta_provider/webdocs.py +++ b/provider/src/pacta_provider/webdocs.py @@ -130,7 +130,10 @@ def render_docs(log: TransparencyLog, base_path: str) -> str: LTL — Lean Transparency Log -

zkdefi.org

+

zkdefi +· notes +· code +· cv

LTL — the Lean Transparency Log

One sentence: a public, append-only Merkle accumulator of signed statements that the Lean 4 formal proofs of specific