proof
Machine-checked proofs behind the package
proof(fn = NULL)crimlab.proof(fn=None)crimlab proof [--fn VALUE]Names the ‘Lean’ theorem each function rests on. The theorems ship with
the package: file is the path below system.file(package = "crimlab"), and
each file compiles against ‘Mathlib’.
Parameters
Section titled “Parameters”fnNULLfor every function, or function names.
Returns
Section titled “Returns”A data frame: fn, theorem and file.
Examples
Section titled “Examples”proof("vodtst")Generated from the R help page: proof in the R reference.