Getting Started with Lean 4: Proofs as Code for Real Developers Posted by syumei on Friday October 23, 2026 @12:33PM from the medium.com dept. https://medium.com/@adnanmasood/getting-started-with-lean-4-proofs-as-code-for-real-developers-475affcf3f30 ( no comments | on HN )
There are no comments yet.