Challenges in the collaborative evolution of a proof ... - HAL-Inria

Challenges in the collaborative evolution of a proof ... - HAL-Inria - Documents pdf associés