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

- l -

• L : InferenceItem
• l : StackItem
• left_extension_backtrack() : StackProver
• Lem : ProofChecker
• Lem_i_ok() : ProofChecker
• Lemmata() : Lemmata
• lemmata : StackProver
• lemmata_backtrack() : StackProver
• lemmata_tried : StackProver
• length() : SimplePath
• Lindex : InferenceItem
• Lit_i_ok() : ProofChecker
• Literal() : Literal
• Lprime : InferenceItem
• ls : Lemmata