• Slimmer Formal Proofs for Math...

Treffer: Slimmer Formal Proofs for Mathematical Libraries

Title:
Slimmer Formal Proofs for Mathematical Libraries
Authors:
de Lamarliere, Paul Geneau, Melquiond, Guillaume, Faissole, Florian
Source:
2023 IEEE 30th Symposium on Computer Arithmetic (ARITH) ARITH Computer Arithmetic (ARITH), 2023 IEEE 30th Symposium on. :32-35 Sep, 2023
Relation:
2023 IEEE 30th Symposium on Computer Arithmetic (ARITH)
Database:
IEEE Xplore Digital Library