Login / Signup
Nicolas Margulies
Publication Activity (10 Years)
Years Active: 2021-2021
Publications (10 Years): 1
Top Topics
Natural Deduction
Genetic Algorithm
Logical Rules
Database
Top Venues
CoRR
</>
Publications
</>
Kenji Maillard
,
Nicolas Margulies
,
Matthieu Sozeau
,
Nicolas Tabareau
,
Éric Tanter
The Multiverse: Logical Modularity for Proof Assistants.
CoRR
(2021)