Here is a list of all documented functions with links to the class documentation for each member:

- l -

• left_extension_backtrack() : StackProver
• Lem_i_ok() : ProofChecker
• Lemmata() : Lemmata
• lemmata_backtrack() : StackProver
• length() : SimplePath
• Lit_i_ok() : ProofChecker
• Literal() : Literal