# --------------------------------------------
# CITATION file created with {cffr} R package
# See also: https://docs.ropensci.org/cffr/
# --------------------------------------------
 
cff-version: 1.2.0
message: 'To cite package "leanknit" in publications use:'
type: software
license: GPL-3.0-or-later
title: 'leanknit: A ''knitr'' Engine for Lean 4 Proof Chunks'
version: 0.0.0.9000
abstract: Provides a 'knitr' language engine that compiles and checks Lean 4 code
  chunks against a 'lake' project, capturing proof output (including the result of
  '#print axioms') into rendered documents. Modeled on the 'duckknit' engine. Because
  a failing Lean check fails the render, a generated document cannot claim a proof
  that does not actually check. Also provides install_lean() to provision a Lean toolchain
  through 'elan', in the spirit of torch::install_torch().
authors:
- family-names: Toure
  given-names: Sounkou Mahamane
  email: sounkoutoure@gmail.com
repository: https://sounkou-bioinfo.r-universe.dev
repository-code: https://github.com/sounkou-bioinfo/leanknit
commit: 0fc77e836c10df0405b923405672455687091987
url: https://github.com/sounkou-bioinfo/leanknit
date-released: '2026-06-10'
contact:
- family-names: Toure
  given-names: Sounkou Mahamane
  email: sounkoutoure@gmail.com