saymrwulf/verifying-crypto-with-lean
1
0
Fork 0
mirror of https://github.com/saymrwulf/verifying-crypto-with-lean.git synced 2026-09-03 19:53:45 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions
verifying-crypto-with-lean/chapters
History
mrwulf 0355ff22f3 coherence sweep wave 3 (book): the paper is published, not frozen 
Findings 13-16,26: ch14's 'frozen under journal review / thirteen-leaf
snapshot' paragraph now states the published truth (v0.15, DOI, live
nineteen-leaf deployment; July measurements byte-identical in history);
'additive' aligned to 'second, deterministic SLH-DSA signature'; the
private control repo's 404 link row removed from the public README;
claim count corrected to the gate's measured 96; publication history
carries the companion paper's DOI.
2026-08-22 18:42:29 +02:00
..
appendix-repo-tour.tex print-quality pass: the book gets looked at, and the looking becomes a gate 2026-08-08 19:11:09 +02:00
appendix-toolkit.tex print-quality pass: the book gets looked at, and the looking becomes a gate 2026-08-08 19:11:09 +02:00
appendix-walkthroughs.tex print-quality pass: the book gets looked at, and the looking becomes a gate 2026-08-08 19:11:09 +02:00
ch01-why-verify.tex ch01: unified leaf-index numbering — Leaf 18, matching the estate-wide 0-based convention 2026-08-16 20:04:20 +02:00
ch02-meet-lean.tex Major didactic overhaul: pen-and-paper worked examples + in-book solution pathways, 2x volume (53 -> 106 pages) 2026-07-03 10:55:00 +02:00
ch03-propositions-as-types.tex print-quality pass: the book gets looked at, and the looking becomes a gate 2026-08-08 19:11:09 +02:00
ch04-tactics.tex print-quality pass: the book gets looked at, and the looking becomes a gate 2026-08-08 19:11:09 +02:00
ch05-numbers-and-automation.tex Major didactic overhaul: pen-and-paper worked examples + in-book solution pathways, 2x volume (53 -> 106 pages) 2026-07-03 10:55:00 +02:00
ch06-modular-arithmetic.tex print-quality pass: the book gets looked at, and the looking becomes a gate 2026-08-08 19:11:09 +02:00
ch07-primality-certificates.tex book overhaul moves 1+2: the minute-one artifact, and cold-open surgery on ch1 2026-08-08 00:14:43 +02:00
ch08-rust-to-lean.tex print-quality pass: the book gets looked at, and the looking becomes a gate 2026-08-08 19:11:09 +02:00
ch09-denotation-bridge.tex print-quality pass: the book gets looked at, and the looking becomes a gate 2026-08-08 19:11:09 +02:00
ch10-verifying-a-field.tex print-quality pass: the book gets looked at, and the looking becomes a gate 2026-08-08 19:11:09 +02:00
ch11-honesty-and-axioms.tex ch13: The Attestation Protocol — who checks the checker? 2026-07-28 16:21:40 +02:00
ch12-the-pyramid.tex print-quality pass: the book gets looked at, and the looking becomes a gate 2026-08-08 19:11:09 +02:00
ch13-second-summit.tex print-quality pass: the book gets looked at, and the looking becomes a gate 2026-08-08 19:11:09 +02:00
ch14-attestation-protocol.tex coherence sweep wave 3 (book): the paper is published, not frozen 2026-08-22 18:42:29 +02:00
glossary.tex print-quality pass: the book gets looked at, and the looking becomes a gate 2026-08-08 19:11:09 +02:00
interlude-by-hand.tex Major didactic overhaul: pen-and-paper worked examples + in-book solution pathways, 2x volume (53 -> 106 pages) 2026-07-03 10:55:00 +02:00