BACKGROUND

We might have a common sense about the operational semantics of mathematics, but I find the language of Mathematics as important. 


Software Prototyping is for Prototypers
It's All Numbers
I Declare
Symbolic Parallelisation
A Theorem Prover That Computes
Eliminate Quantifiers
Dance with the Symbols