Formality

La formalidad es un lenguaje de prueba eficiente. Rápido: sin recolección de basura, reducción beta óptima y un compilador de GPU masivamente paralelo lo hacen rápido. Seguro: un sistema de tipos capaz de demostrar teoremas matemáticos sobre sus propios programas lo hace seguro. Portátil: el lenguaje completo se implementa en un tiempo de ejecución 400-LOC, lo que lo hace fácilmente disponible en todas partes.