Nicolas Tabareau

Documents

Présentation

911472

"kenji-maillard"

	The Multiverse: Logical Modularity for Proof Assistants Kenji Maillard , Nicolas Margulies , Matthieu Sozeau , Nicolas Tabareau , Éric Tanter 2021 Pré-publication, Document de travail hal-03324596v1