Assistants de preuve : renforcer la position européenne via EuroProofNet
#Inria #Projet #Assistant de preuve
Date
- 01.03.22
- BLOG
Dernier article en date, publié ce jour sur le site Inria et consacré à EuroProofNet, un programme européen coordonné par Inria autour des assistants de preuve.
