Important
This project was born as a personal educational exercise and is currently in the testing and development phase. It is not currently designed for serious use, but rather as an educational exercise for Lean.
This is a first implemenation with svg image creationa and conversion to mp4
with ffmpeg.
To see the first test:
lake exe test1then execute the ffmpeg command (given in the output of the execution) and
open the video mpv video.mp4.
The source code for the animation is test1.
- Project realised under Apache-2.0 license.
- By participating in this project, you agree to respect the Code of Conduct.