Package: leanknit
Title: A 'knitr' Engine for Lean 4 Proof Chunks
Version: 0.0.0.9000
Authors@R: c(
    person(
      given = "Sounkou Mahamane",
      family = "Toure",
      email = "sounkoutoure@gmail.com",
      role = c("aut", "cre")
    )
  )
Description: 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().
License: GPL (>= 3)
Depends: R (>= 4.1.0)
Imports: knitr, processx, utils
Suggests: rmarkdown, tinytest
URL: https://github.com/sounkou-bioinfo/leanknit
BugReports: https://github.com/sounkou-bioinfo/leanknit/issues
VignetteBuilder: knitr
Encoding: UTF-8
Roxygen: list(markdown = TRUE)
RoxygenNote: 7.3.3
SystemRequirements: Lean 4 toolchain (elan/lake) available on PATH
Repository: https://sounkou-bioinfo.r-universe.dev
Date/Publication: 2026-06-10 23:07:02 UTC
RemoteUrl: https://github.com/sounkou-bioinfo/leanknit
RemoteRef: HEAD
RemoteSha: 0fc77e836c10df0405b923405672455687091987
NeedsCompilation: no
Packaged: 2026-10-12 09:48:40 UTC; root
Author: Sounkou Mahamane Toure [aut, cre]
Maintainer: Sounkou Mahamane Toure <sounkoutoure@gmail.com>