Software Heritage
The Coq proof assistant
Paris Centre for Quantum Computation (PCQC)
Previous Next