Skip to content
Snippets Groups Projects
Commit 636f400d authored by François Bobot's avatar François Bobot
Browse files

Simplify the proof of floating point propagation 

         But the approach seems not scalable
parent b7d70ac6
No related branches found
No related tags found
1 merge request!26Fix and domain propagation
Expand all Hide whitespace changes
Inline Side-by-side
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