Leibniz - a Digital Scientific Notation
- Leibniz is not a programming language
- Leibniz is not a computer algebra system
Overview of Leibniz
- Terms
- Operators
- Sorts
- Rewriting
Context definitions

Logical truth

Boolean values are represented by the sort 𝔹. It has two values:

True: ⊤ : 𝔹

False: ⊥ : 𝔹