Frédéric LE ROUX
Enseignement
Recherche
Popularisation
D∃∀DUCTION
pip-install-deaduction
D∃∀DUCTION – What’s new
D∃∀DUCTION 0.2
Version Mac
Version WIndows
Version Linux (Ubuntu)
Nouveautés :
Fenêtre donnant un aperçu global de la preuve
IMJ-PRG
MENTIONS LEGALES
© IMJ-PRG
