DeepSpec
 
The Science of Deep Specification