Commit cde53d45 authored by François Bobot's avatar François Bobot
Browse files

fix D3_1.pdf

parent 1b91f9a6
......@@ -10,7 +10,7 @@ let () = private_ [
* D1.3 ([[downloads/D1_3.pdf|pdf]], [[downloads/D1_3.tar.gz|tar.gz]]): Benchmark Environment (OCI)
* D4.1 ([[downloads/Deliverable-1.4-FPA-in-Alt-Ergo.tar.gz|tar.gz]]): Floating Point Arithmetic in Alt-Ergo
* D4.2 ([[downloads/D4_2.pdf|pdf]], [[downloads/D4_2.tar.gz|tar.gz]]): Preliminary Implementation of the SOPRANO-solver (Popop)
* D2.1 and D2.2 ([[downloads/D4_2.pdf|pdf]]) : Combination frameworks
* D2.1 and D2.2 ([[downloads/D2_1-D2_2.pdf|pdf]]) : Combination frameworks
* D3.1 ([[downloads/D3_1.pdf|pdf]]): Floating Point Arithmetic Solver
# Softwares
No preview for this file type
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment