Files / lean / LICENSE
Download it, or read it from Python.
SHA-256 c71d239df91726fc519c6eb72d318ec65820627232b2f796219e87dcf35d0ab4