Verified Collaboration: How Lean is Transforming Mathematics, Programming, and AI

License: CC-3.0
Submitted by Regan Williams on