added nice wave visualization

Author: skrivantomas

README.org

@@ -1,7 +1,6 @@
 
 * SciLean: Scientific Computing Assistant
 
-
   Framework for scientific computing such as solving differential equations, optimization or machine learning written in [[http://leanprover.github.io/][Lean]]. This library is in an *extremely early stage of development* and at its current stage is just a proof of concept on how Lean can be used for scientific computing.
 
 Lean is an expressive functional programming language that allows to formalize the mathematics behind these computations. This can offer several benefits:
@@ -13,6 +12,7 @@ Lean is an expressive functional programming language that allows to formalize t
 
   In short, mathematics is the ultimate abstraction for numerical computing and Lean can understand mathematics. Hopefully, using Lean will allow us to create really powerfull and extensible library for scientific computing.
 
+  
 * Installation and running examples/tests
 
 As we are using Lean programming language, you need Lean's version manager =elan=. Follow its installation [[https://github.com/leanprover/elan#installation][instructions]].
@@ -118,3 +118,5 @@ lake env lean --run examples/WaveEquation.lean
 Produces the following animation:
 [[file:wave.gif]]
 
+Or when nicely rendered:
+[[file:wavering.gif]]