@hackage / lean-peano

Metadata

• Last updated 2 May 2020, by oisdk
• License MIT
• Categories Mathematics

• Maintained by: mail@doisinkidney.com

• Lottery factor: 0 New

  The number of people with uploader permission on @hackage/lean-peano who have released something to @hackage in the last 2 years (i.e. the number of people likely able to release critical fixes in a timely manner)

Links

• Homepage
• Documentation
• Source repository

Installation

This package uses the Custom cabal build type