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
Rewriting