lean

For package maintainers and hackage trustees


Keywords
library, math, Propose Tags
License
BSD-3-Clause
Install
cabal install lean