Loading view.
Team Meeting
Team Meeting: Faustine Oliva
Faustine Oliva is a doctoral student at Université d’Aix-Marseille. Her project is about the significance of computer-assisted proofs for mathematical knowledge. In what sense are (computer-assisted) proofs experiments? The Four …