Standard library

Theorem files

• Base
• Int
• IntAddSub
• IntDefs
• IntMult
• List
• Maps
• MultiSet
• Nat
• Option
• Pair
• Set
• UInt
• UIntAdd
• UIntDefs
• UIntLess
• UIntMonus
• UIntMult
• UIntToFrom

Proof files

• Base
• Int
• IntAddSub
• IntDefs
• IntMult
• List
• Log
• Maps
• MultiSet
• Nat
• Option
• Pair
• Set
• Sums
• UInt
• UIntAdd
• UIntDefs
• UIntLess
• UIntMonus
• UIntMult
• UIntToFrom

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