To cite package ‘leanknit’ in publications use:

  Toure S (2026). _leanknit: A 'knitr' Engine for Lean 4 Proof Chunks_.
  R package version 0.0.0.9000,
  <https://github.com/sounkou-bioinfo/leanknit>.

A BibTeX entry for LaTeX users is

  @Manual{,
    title = {leanknit: A 'knitr' Engine for Lean 4 Proof Chunks},
    author = {Sounkou Mahamane Toure},
    year = {2026},
    note = {R package version 0.0.0.9000},
    url = {https://github.com/sounkou-bioinfo/leanknit},
  }