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.

Corresponding BibTeX entry:

  @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},
  }