Martin Hirzel

PoTo améliore l'analyse statique pour Python, ce qui booste la qualité du code et l'inférence de type.

TDD-Bench améliore la génération de tests automatisés pour les développeurs qui utilisent les méthodes TDD.