Checking Lean proofs in knitr documents

Authored by:Sounkou Mahamane Toure inleanknit 0.0.0.9000.
Source:leanknit.Rmd, Vignette:leanknit.html. Last updated:2026-06-10.