Comment Link to the paper (Score 2, Informative) 73
Here is the paper describing the method:
http://www2.isye.gatech.edu/people/faculty/Joel_Sokol/ncaa.pdf
We declare the names of all variables and functions. Yet the Tao has no type specifier.