GitHub - akatie/Mandlebrah: A Mandelbrot renderer in Lean4

8000 GitHub - akatie/Mandlebrah: A Mandelbrot renderer in Lean4

More Web Proxy on the site http://driver.im/

Name		Name	Last commit message	Last commit date
Latest commit History 7 Commits
Mandlebrah		Mandlebrah
.gitignore		.gitignore
Mandlebrah.lean		Mandlebrah.lean
leanpkg.toml		leanpkg.toml
mandelbrot.png		mandelbrot.png
out.ppm		out.ppm

About

A Mandelbrot renderer in Lean4

Report repository

Releases

No releases published

Packages

No packages published

Languages

Lean 100.0%

0