girving / ray

Formalizing results about the Mandelbrot set in Lean

girving/ray Watchers

Alex J Best
alexjbest
Junyan Xu
alreadydone
Geoffrey Irving
girving
Yury G. Kudryashov
urkud

Links

ProductDiscover

Data Powerby api.github.com. Remove your profile on the Giters? Go to settings.

Contact Site Admin: Giters.