names.value: PICUBE
names.types: acronym
names.value: PICUBE: Les assistants à la démonstration au cœur du raisonnement mathématique
names.types: label ror_display
names.lang: fr
names.value: PICUBE: Proof assistants at the heart of mathematical reasoning
names.types: label
names.lang: en
relationships.type: parent
relationships.label: Centre Inria de Paris
relationships.id: https://ror.org/05eyd5d35