Laboratoire Méthodes Formelles (LMF)
… Laboratoire Méthodes Formelles (LMF) Laboratoire Méthodes Formelles (LMF) ENS Paris-Saclay CentraleSupélec CNRS Inria … subspace Jean Goubault-Larrecq 01/01/2024 Topology and its Applications Enabling Floating-Point Arithmetic in the Coq … subspace Jean Goubault-Larrecq 01/01/2024 Topology and its Applications Enabling Floating-Point Arithmetic in the Coq …
Published on: