Standard library
Theorem files
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