Skip to content

Davide-R0/phain.lean

Phain.lean

Code-based graphics animation library

Built with Lean 4  Development Environment: Nix  Lean Action CI  License

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.

First Test

This is a first implemenation with svg image creationa and conversion to mp4 with ffmpeg.

To see the first test:

lake exe test1

then 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.


License & Conduct

  • Project realised under Apache-2.0 license.
  • By participating in this project, you agree to respect the Code of Conduct.

About

Educational code-based graphics animation library in Lean4

Topics

Resources

License

Code of conduct

Contributing

Stars

Watchers

Forks

Packages

 
 
 

Contributors