Files / lean / NOTICE
Download it, or read it from Python.
SHA-256 a2142698d69f684723b31f67161de882f89d0f9f08a36540aae93fdf2e132cfe