Export [feed] RSS 2.0 [feed] RSS 1.0 [feed] Atom

Nombre de documents archivés : 1.

Makni, Mme Amal (2024) La traduction des entiers naturels de HOL-Light à Coq. PRE - Projet de recherche, ENSTA.

Cette liste a été générée le Mon Feb 16 17:37:03 2026 CET.