About

This project has begun at the École Normale Supérieure de Lyon. The current team members are 14 students in theoretical computer science: