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 +· notescodecv

LTL — the Lean Transparency Log

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