Universal Approximation with Certified Networks - View it on GitHub