Scientific Computing in Lean 4

Tomáš Skřivan

Carnegie Mellon University

Scientific Computing in Lean 4 Tomáš Skřivan Carnegie Mellon University
Made with Slides.com