About
Blog
Profiles
Contact

Tag: Lean4

April 11, 2024 Formalizing The Singularizing Properties Problem
March 18, 2024 Golfing Rozek's Lean4 Tutorial
February 18, 2024 Proving the Correctness of Insertion Sort in Lean4

© 2022 - 2024 James Oswald · Powered by Hugo & modified Coder Theme.