Real-time Robotics Control in the Lean LanguageAndrew Kent, Ethan Lew, Joe HendrixMar 29, 2021I contributed to a blog post for Galois, Inc. about how we wrote an inverted pendulum controller in lean4. See it here.
