Domain coloring of a random finite Blaschke product

Coding

A screenshot of the Elementizer website

Elementizer

A remote control car with an Arduino microcontroller attached to it

Herbie - The Autonomous Arduino Car

Lean Theorem Prover logo

Lean Mathlib

Copyright © 2023 Sean Gonzales. All rights reserved.