Standard library

Theorem files

• Base
• BigO
• Int
• IntAddSub
• IntDefs
• IntMult
• List
• Maps
• MultiSet
• Nat
• NatAdd
• NatDefs
• NatDiv
• NatEvenOdd
• NatLess
• NatMonus
• NatMult
• NatPowLog
• NatSum
• Option
• Pair
• Set
• UInt
• UIntAdd
• UIntDefs
• UIntDiv
• UIntEvenOdd
• UIntLess
• UIntMonus
• UIntMult
• UIntPowLog
• UIntToFrom

Proof files

• Base
• BigO
• Int
• IntAddSub
• IntDefs
• IntMult
• List
• Maps
• MultiSet
• Nat
• NatAdd
• NatDefs
• NatDiv
• NatEvenOdd
• NatLess
• NatMonus
• NatMult
• NatPowLog
• NatSum
• Option
• Pair
• Set
• Sums
• UInt
• UIntAdd
• UIntDefs
• UIntDiv
• UIntEvenOdd
• UIntLess
• UIntMonus
• UIntMult
• UIntPowLog
• UIntToFrom

Theme: Deduce Dark Deduce Light VS Code Dark VS Code Light High Contrast