Project-team GALLINETTE Gallinette: developing a new generation of proof assistants The EPI Gallinette aims at developing a new generation of proof assistants, with the belief that...
D'après Rawpixel - CC0 Industry of the Future Inria and Mitsubishi Electric collaborate to develop a digital copy of an industrial assembly line 18/05/2020
