Displaying 1-2 of 2 packages depending on girving/interval
Sort by
  1. girving/ray-seriesusesd7bdfbb

    Power series arithmetic in Lean
  2. girving/renderuses2eb9470

    Verified renders of the Mandelbrot set