Thiago Felicissimo

Dieses Framework vereinfacht die Definition von Typentheorie und verbessert die Typüberprüfung in Programmiersprachen.

Eine neue Methode, um formale Beweise zwischen verschiedenen Beweisassistenten zu teilen.