Si los modelos de demostración de teoremas están escalando en capacidad 10 veces más rápido que los modelos de codificación, y dado que la prueba es código, entonces, la codificación de vibras se hará mejor a través de un lenguaje de programación que cuente con un sistema de prueba, pero diseñado para construir aplicaciones en lugar de matemáticas.