{"@context":"https://w3id.org/codemeta/3.0","@type":"SoftwareSourceCode","identifier":"pkg:hackage/lean","name":"lean","description":"\n\nPackage maintainers\n\nFor package maintainers and hackage trustees\n\nCandidates\n\n","version":"0.0.0.1","softwareVersion":"0.0.0.1","license":"https://spdx.org/licenses/BSD-3-Clause","keywords":["bsd3","deprecated","library","math","Propose Tags"],"dateCreated":"2019-05-15","dateModified":"2019-05-15","datePublished":"2019-05-15","copyrightYear":2019,"downloadUrl":"https://hackage.haskell.org/package/lean-0.0.0.1/lean-0.0.0.1.tar.gz","applicationCategory":"hackage","runtimePlatform":"hackage","sameAs":["https://hackage.haskell.org/package/lean"]}