amelieled / lib

Lambdapi library on natural numbers and polymorphic lists (in intuitionistic first-order logic)

• Set: type of set codes
• Prop: definition of propositional logic
• Eq: definition of Leibniz equality
• FOL: definition of first-order logic
• Bool: definition of booleans
• Nat: definition and properties of natural numbers
• List: definition and properties of polymorphic lists
• NatBool: some boolean functions on natural numbers