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
