Project-team

PICUBE

Proof assistants at the heart of mathematical reasoning
Proof assistants at the heart of mathematical reasoning