Thiago Felicissimo

Este marco simplifica la definición de teoría de tipos y mejora la verificación de tipos en lenguajes de programación.

Un nuevo método para compartir pruebas formales entre diferentes asistentes de prueba.