Théophile Petit from TELECOM Nancy has joined our VerCors team for an internship during this summer period. He will be working on a VS-code compatible plugin for VerCors.